Software requirements analysis for real-time process-control systems (1991)

by M S Jaffe, N G Leveson, M P E Heimdahl, B E Melhart
Venue:IEEE Transactions on Software Engineering