Suad Alagic Semantics of Temporal Classes. 60-102 2000 163 Inf. Comput. 1 db/journals/iandc/iandc163.html#Alagi00