ªRequirements Specification for Process-Control Systems,º (1994)

by N G Leveson, M P E Heimdahl, H Hildreth, J D Reese
Venue:IEEE Trans. Software Eng