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)

Dezyne: Paving the Way to Practical Formal Software Engineering. - Rutger van Beusekom; Bert de Jonge; Paul F. Hoogendijk; Jan Nieuwenhuizen (F-IDE@NFM, 2021)