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

by K M Hansen, A P Ravn, H Rischel
Venue:Proc. ACM SIGSOFT'91 Conf. on Software for Critical Systems