Formal specification and synthesis of procedural controllers for process systems

by Arturo Sánchez