Coordination Control of Distributed Systems - van Schuppen; Villa, Tiziano (Springer International Publishing, 2015)