The temporal specification and verification of real-time systems (1991)

by T A Henzinger