Specifying and verifying requirements of real-time systems (1991)

by K M Hansen, A P Ravn, H Rischel
Venue:Journal of the ACM