Formalising and analysing SMMT models using the mCRL2 toolset. - van Laarhoven, J. E. P. M.; Bunte, O.; van Gool, L. C. M.; Willemse, T. A. C. (International Journal on Software Tools for Technology Transfer, 2025)