1. Abrial, J.: Modeling in Event-B. Cambridge University Press, Cambridge (2010)
2. Bonfanti, S., Gargantini, A.: The mechanical lung ventilator case study. In: Bonfanti, S., et al. (eds.) ABZ 2024. LNCS, vol. 14759, pp. 281–288. Springer, Cham (2024)
3. EB Consortium. http://www.event-b.org/
4. Leuschel, M., Bendisposto, J., Dobrikov, I., Krings, S., Plagge, D.: From animation to data validation: the ProB constraint solver 10 years on. In: Boulanger, J.L. (ed.) Formal Methods Applied to Complex Systems: Implementation of the B Method, chap. 14, pp. 427–446. Wiley ISTE, Hoboken (2014)
5. Mammar, A.: An Event-B Model of Mechanical Lung Ventilator (2024). https://github.com/AmelMammar/MechanicalLungVentilator