Text this: Understanding Behaviour of Distributed Systems Using mCRL2