Real Time Temporal Logic: Past, Present, Future
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2006, pp. 2–16.