Understanding Behaviour of Distributed Systems Using MCRL2by Muhammad Atif, Jan Friso GrooteWriting a summary for young readers…For young readersBook data: Open Library