Text this: Formalising and analysing SMMT models using the mCRL2 toolset.