Title: Temporal logic for real-time systems
Subjects: Discrete-time systems, Process control, Real-time data processing, Temps réel (Informatique), Fabrication, Contrôle, Systèmes échantillonnés, Echtzeitsystem, Temporale Logik