Requirements specification for process-control systems. (1994)

by N Leveson, M Heimdahl, H Hildreth, J Reese
Venue:IEEE Transactions on Software Engineering,