Formal Techniques for Distributed Objects, Components, and Systems - Jorge A. Pérez, Nobuko Yoshida (Springer, 2019)