Intégration de propriétés temporelles dans des applications à base de composants