Formal Techniques for Distributed Objects, Components, and Systems - Ahmed Bouajjani, Alexandra Silva (Springer, 2017)