Formal specification and synthesis of procedural controllers for process systems - Sanchez, Arturo, (Lecture notes in control and information sciences ;)