Title: Formal specification and synthesis of procedural controllers for process systems
First published: 1996
Subjects: Automatic control, Process control
LC classification: TJ213 .S1154 1996