Thistle, J. G. (1996). Supervisory control of discrete event systems. Mathematical and Computer Modelling, 23(11-12), 25-53. Lien externe