The following publications are possibly variants of this publication:
- An Overview of the mCRL2 Toolset and Its Recent AdvancesSjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse. TACAS 2013: 199-213 [doi]
- Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 ToolsetMaarten Bartholomeus, Bas Luttik, Tim A. C. Willemse. fmics 2018: 98-114 [doi]
- The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and UsabilityOlav 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 2019: 21-39 [doi]