Formal specification and synthesis of procedural controllers for process systems by Sanchez, Arturo fromLecture notes in control and information sciences 0 Type: Book
