Integrated Tool for Testing Timed Systems. - Hacène Fouchal; Sébastien Gruson; Ludovic Pierre; Cyril Rabat; Antoine Rollet (ISSADS, 2005)