Jonathan S. Ostroff Real-Time Temporal Logic Decision Procedures. 92-101 1989 IEEE Real-Time Systems Symposium db/conf/rtss/rtss1989.html#Ostroff89