Applications of Temporal Logic to the Specification of Real Time Systems (1988)

by A Pnueli, E Harel
Venue:Formal Techniques in Real Time and Fault Tolerant Systems