Presenter: Ismael SAMAYE Abstract:Timed systems are those that require adherence to physical time constraints to function correctly. This includes real-time embedded systems, communication protocols relying