Farrell, M., Luckcuck, M., Monahan, R., Reynolds, C., & Sheridan, O. (2024, June). FRETting and Formal Modelling: A Mechanical Lung Ventilator. Presented at Rigorous State-Based Methods (ABZ 2024), Bergamo, Italy