Understanding Behaviour of Distributed Systems Using mCRL2 | DealShopping Deutschland