Formalising the Dezyne Modelling Language in mCRL2. - Rutger van Beusekom; Jan Friso Groote; Paul F. Hoogendijk; Robert Howe; Wieger Wesselink; Rob Wieringa; Tim A. C. Willemse (FMICS-AVoCS, 2017)