Coordination control of distributed systems - Schuppen, Jan H.; Villa, Tiziano 1953- (Springer International Publishing, 2015)