A comparison of synthesis tools for supervisory controllers. - Arturo Sanchez; J. Reza; Jaime G. Douriet; R. Gonzalez (ECC, 2003)