Title: Modèles temporels des systèmes logiques