The Temporal Specification and Verification of Real-Time Systems (1991)

by T H Henzinger