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

by M Ja e, N Leveson, M Heimdahl, B Melhart
Venue:IEEE Transactions on Software Engineering