Formal methods for the specification and design of real-time safety critical systems (1992)

by Jonathan S Ostroff
Venue:Journal of Systems and Software