1. An introduction to binary decision diagrams;Andersen,1997
2. Synthesis and implementation of procedural controllers with alarm handling capabilities;Baird,1999
3. Sintesis de controladores de procedimientos utilizando tecnicas de calculo simbolico (in Spanish);Reza;Master's thesis, Cinvestav,2002
4. A comparison of synthesis tools for supervisory controllers;Sanchez,2003
5. Synthesis and implementation of procedural controllers for event-driven operations;Sanchez;AIChEJ,2002