Yoram Hirshfeld Alexander Moshe Rabinovich Timer formulas and decidable metric temporal logic. 148-178 2005 198 Inf. Comput. 2 http://dx.doi.org/10.1016/j.ic.2004.12.002 db/journals/iandc/iandc198.html#HirshfeldR05