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)