@inproceedings{MNP05,
title = { Real Time Temporal Logic: Past, Present, Future },
author = {Maler, Oded and Nickovic, Dejan and Pnueli, Amir},
year = {2005},
booktitle = {FORMATS 2005},
pages = {2-16},
publisher = {Springer},
series = {LNCS},
volume = {3829},
team = {TEMPO},
}
