Ron Koymans Specifying Real-Time Properties with Metric Temporal Logic. 255-299 1990 2 Real-Time Systems 4 db/journals/rts/rts2.html#Koymans90