Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems | DealShopping Deutschland