The Temporal Specification and Verification of Realtime Systems (1991)

by T A Henzinger