Formal Techniques for Distributed Systems - Beyer (Springer Berlin Heidelberg, 2013)