@InProceedings{FGP+05,
  Author    = {Hac{\`e}ne Fouchal and S{\'e}bastien Gruson and Ludovic Pierre and Cyril Rabat and Antoine Rollet},
  Title     = {{Integrated Tool for Testing Timed Systems}},
  Booktitle = {ISSADS},
  Year      = {2005},
  Pages     = {153-166},
  Editor    = {F{\'e}lix F. Ramos Corchado and Victor Larios-Rosillo and Herwig Unger},
  Publisher = {Springer},
  Series    = {Lecture Notes in Computer Science},
  Volume    = {3563},
  Year      = {2005},
  ISBN      = {3-540-28063-4}
}