Understanding Behaviour of Distributed Systems Using mCRL2 - innbundet, Engelsk, 2023