Research report: Description d?un outil de génération de cas de test sur des systèmes réactifs temporisés