Requirements Specification for Process-Control Systems (1994)

by N G Leveson, M P Heimdahl, H Hildtreth
Venue:IEEE Transactions on Software Engineering