The Temporal Speci cation and Veri cation of Real-time Systems (1991)

by T A Henzinger