Understanding Behaviour of Distributed Systems Using MCRL2 - Atif, Muhammad; Groote, Jan Friso (Cham Springer International Publishing AG, 2023)