Oded Maler Dejan Nickovic Amir Pnueli Real Time Temporal Logic: Past, Present, Future. 2-16 2005 conf/formats/2005 FORMATS http://dx.doi.org/10.1007/11603009_2 db/conf/formats/formats2005.html#MalerNP05