Spécification comportementale temporelle dans un simulateur multi-niveaux — Abdallah el- Fadi