Modelling and Analysing a Mechanical Lung Ventilator in mCRL2. - Danny van Dortmont; Jeroen J. A. Keiren; Tim A. C. Willemse (ABZ, 2024)