Formal Techniques for Distributed Objects, Components, and Systems - Kirstin Peters, Tim A. C. Willemse (Springer, 2021)