@Inproceedings{GRS11,
author = {Geeraerts, G. and Raskin, J.F. and Sznajder, N.},
title = {Event-clock automata: from theory to practice},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
bookTitle = {Proceedings of FORMATS 2011},
volume = {6919},
year = {2011},
pages = {209--224}
}