The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. - Olav Bunte; Jan Friso Groote; Jeroen J. A. Keiren; Maurice Laveaux; Thomas Neele; Erik P. de Vink; Wieger Wesselink; Anton Wijs; Tim A. C. Willemse (TACAS (2), 2019)

Formal Verification of OIL Component Specifications using mCRL2. - Olav Bunte; Louis C. M. van Gool; Tim A. C. Willemse (FMICS, 2020)

On the Preservation of Properties When Changing Communication Models. - Olav Bunte; Louis C. M. van Gool; Tim A. C. Willemse (SOFSEM, 2023)

Formalising the Industrial Language SMMT in mCRL2. - Jordi E. P. M. van Laarhoven; Olav Bunte; Louis C. M. van Gool; Tim A. C. Willemse (FMICS, 2024)

OIL: an industrial case study in language engineering with Spoofax. - Olav Bunte; Jasper Denkers; Louis C. M. van Gool; Jurgen J. Vinju; Eelco Visser; Tim A. C. Willemse; Andy Zaidman (Softw. Syst. Model., 2025)

Formalising and analysing SMMT models using the mCRL2 toolset. - Jordi E. P. M. van Laarhoven; Olav Bunte; Louis C. M. van Gool; Tim A. C. Willemse (Int. J. Softw. Tools Technol. Transf., 2025)