Arturo Sanchez

1963

• Formal specification and synthesis of procedural controllers for process systems