Temporal Logic for Real-Time Systems (1989)

by J S Ostro
Venue:Advanced Software Development. Research Studies Press