Supervisor localization a top-down approach to distributed control of discrete-event systems - Cai, Kai; Wonham, W. Murray 1934- (Springer, 2016)