HDR: Étude sur le test basé modèle de systèmes temporisés et d'applications à base de composants