3 books • 1 series
Book #212: Formal Specification and Synthesis of Procedural Controllers for Process Systems
