Formal Specification and Synthesis of Procedural Controllers for Process Systems häftadEngelska, 1996