"Fouchal H., Pierre Laurent, Gruson S\u00E9bastien, Rabat Cyril, Rollet Antoine. Integrated tool for testing timed systems. Fifth IEEE International Symposium and School on Advance Distributed Systems (ISSADS 2005), Jan 2005, Guadalajara, Mexico. pp.153-166" . "FouchalH., PierreLaurent, GrusonS\u00E9bastien, RabatCyril, RolletAntoine. Integrated tool for testing timed systems. Fifth IEEE International Symposium and School on Advance Distributed Systems (ISSADS 2005), Jan 2005, Guadalajara, Mexico. pp.153-166" . "2005" . "Integrated tool for testing timed systems" . . . .