Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control, 458, Band 458)