B
[BC05] Patricia Bouyer and Fabrice Chevalier. On Conciseness of Extensions of Timed Automata. Journal of Automata, Languages and Combinatorics 10(4):393-405. 2005. 
@article{jalc10(4)-BC,
  author =              {Bouyer, Patricia and Chevalier, Fabrice},
  title =               {On Conciseness of Extensions of Timed Automata},
  journal =             {Journal of Automata, Languages and Combinatorics},
  volume =              {10},
  number =              {4},
  pages =               {393-405},
  year =                {2005},
}
List of authors