1. Abrial, J.: Modeling in Event-B. Cambridge University Press, Cambridge (2010)
2. André, C.: Syntax and Semantics of the Clock Constraint Specification Language (CCSL). Research Report RR-6925, INRIA (2009). https://inria.hal.science/inria-00384077
3. Lecture Notes in Computer Science;D de Azevedo Oliveira,2023
4. de Azevedo Oliveira, D., Frappier, M.: Technical report 27 - Extending ASTD with real-time (2023). https://github.com/DiegoOliveiraUDES/astd-tech-report-27
5. Bonfanti, S., Gargantini, A.: The mechanical lung ventilator case study. In: Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, 25–28 June 2024, Proceedings, LNCS, vol. 14759. Springer (2024)