Applications of temporal logic to the speci cation of real-time systems (1988)

by A Pnueli, E Harel
Venue:Formal Techniques in Real-time and Fault-tolerant Systems, Springer LNCS 331