Temporal Logic of Real-Time Systems (1990)

by J S Ostroff
Venue:Research Studies