@Inproceedings{EPTCS38.9,
  author    = {Lemerre, Matthieu and David, Vincent and Aussagu\`es, Christophe and Vidal-Naquet, Guy},
  year      = {2010},
  title     = {An Introduction to Time-Constrained Automata},
  editor    = {Bliudze, Simon and Bruni, Roberto and Grohmann, Davide  and Silva, Alexandra},
  booktitle = {{\rm Proceedings Third Interaction and Concurrency Experience}
               Guaranteed Interaction ,
               {\rm Amsterdam, The Netherlands, 10th of June 2010}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {38},
  publisher = {Open Publishing Association},
  pages     = {83-98},
  doi       = {10.4204/EPTCS.38.9},
}