C
[CJ99] Hubert Comon and Yan Jurski. Timed Automata and the Theory of Real Numbers. Research Report LSV-99-6, Lab. Spécification & Vérification, ENS Cachan, France, July 1999. 
@techreport{lsv-99-6,
  author =              {Comon, Hubert and Jurski, Yan},
  title =               {Timed Automata and the Theory of Real Numbers},
  number =              {LSV-99-6},
  year =                {1999},
  month =               jul,
  institution =         {Lab.~Sp\'ecification \& V\'erification, ENS Cachan,
                         France},
  type =                {Research Report},
}
List of authors