Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude - Ölveczky, Peter Csaba. (Undergraduate Topics in Computer Science, 2017)