Real time temporal logic: Past, present, future (2005)

by O Maler, D Nickovic, A Pnueli
Venue:In FORMATS, volume 3829 of LNCS