1. An introduction to binary decision diagrams;Andersen,1997
2. Automated control synthesis for an assembly line using discrete event system control theory;Chandra;Proc. of American Control Conference,2001
3. Supervisory control of a class of discreteevent processes;Ramadge;SIAM Journal of Control and Optimization,1987
4. Sintesis de controladores de procedimientos utilizando tecnicas de calculo simbolico (in spanish);Reza,2002
5. Improving the development of event-driven control systems in the batch processing industry. A case study;Sanchez;ISA Trans,2002