Specifying real-time properties with metric temporal logic (1990)

by R Koymans
Venue:Real-Time Systems