The paper Modelling and Analysing a Mechanical Lung Ventilator in mCRL2 by Danny van Dortmont, Jeroen Keiren and Tim Willemse has been published at ABZ 2024. The paper describes the modelling and analysis of the ABZ Case study using the mCRL2 tool set.

Part of this research was carried out by Danny van Dortmont during the FSA seminar.