Thistle, J. G., Malhamé, R. P., Hoang, H. H., & Lafortune, S. (1997). Supervisory control of distributed systems : part 1 : modelling, specification and synthesis. (Rapport technique n° EPM-RT-97-08). Accès restreint