Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study. - Frank P. M. Stappers; Michel A. Reniers; Jan Friso Groote (FMCO, 2009)

Verification of safety requirements for program code using data abstraction. - Frank P. M. Stappers; Michel A. Reniers (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Transforming SOS Specifications to Linear Processes. - Frank P. M. Stappers; Michel A. Reniers; Sven Weber (FMICS, 2011)

Formalizing a Domain Specific Language Using SOS: An Industrial Case Study. - Frank P. M. Stappers; Sven Weber; Michel A. Reniers; Suzana Andova; Istvan Nagy 001 (SLE, 2011)

Experiences in developing the mCRL2 toolset. - Jan Friso Groote; Jeroen Keiren; Frank P. M. Stappers; Wieger Wesselink; Tim A. C. Willemse (Softw. Pract. Exp., 2011)

Dogfooding the Formal Semantics of mCRL2. - Frank P. M. Stappers; Michel A. Reniers; Sven Weber; Jan Friso Groote (SEW, 2012)

An Overview of the mCRL2 Toolset and Its Recent Advances. - Sjoerd Cranen; Jan Friso Groote; Jeroen J. A. Keiren; Frank P. M. Stappers; Erik P. de Vink; Wieger Wesselink; Tim A. C. Willemse (TACAS, 2013)