Coordination Control of Distributed Systems - Schuppen, Jan H. van; Villa, Tiziano (Springer International Publishing : Imprint: Springer, 2015)