Formal Specification and Synthesis of Procedural Controllers for Process Systems