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