Requirements Specification for Process-Control Systems (1994)

by Nancy G. Leveson, Mats P.E. Heimdahl, Holly Hildreth, Jon D. Reese