1. Abba, A., et al.: The novel mechanical ventilator Milano for the COVID-19 pandemic. Phys. Fluids 33(3), 037122 (2021). https://doi.org/10.1063/5.0044445
2. Bombarda, A., Bonfanti, S., Gargantini, A., Riccobene, E.: Developing a prototype of a mechanical ventilator controller from requirements to code with ASMETA. Electron. Proc. Theor. Comput. Sci. 349, 13–29 (2021)
3. Bonfanti, S., Gargantini, A.: Mechanical Lung Ventilator Requirements Specification, December 2024. https://github.com/foselab/abz2024_casestudy_MLV
4. Bonivento, W., Gargantini, A., Krücken, R., Razeto, A.: The mechanical ventilator Milano. Nucl. Phys. News 31(3), 30–33 (2021)
5. van Dortmont, D., Keiren, J.J., Willemse, T.A.: Modelling and analysing a mechanical lung ventilator in mCRL2. In: Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, 25–28 June 2024, Proceedings, LNCS, vol. 14759. Springer (2024)