@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}

}