B
[Bou02] Patricia Bouyer. Timed Automata May Cause some Troubles. Research Report LSV-02-09, Lab. Spécification & Vérification, ENS Cachan, France, July 2002. 
@techreport{LSV0209-Bou,
  author =              {Bouyer, Patricia},
  title =               {Timed Automata May Cause some Troubles},
  number =              {LSV-02-09},
  year =                {2002},
  month =               jul,
  institution =         {Lab.~Sp\'ecification \& V\'erification, ENS Cachan,
                         France},
  type =                {Research Report},
}
List of authors