Wonham, W. M. Supervisory control of discrete-events systems - Toronto University of Toronto 2007 - xv, 437p.