Jonathan S. Ostroff. Formal methods for the specification and design of real-time safety critical systems. Journal of Systems and Software, 18(1):33-60, 1992. [doi]
No references recorded for this publication.
No citations of this publication recorded.