Abstract: In practice, manual planning and implementation of control function logic in building automation and control systems (BACS) is a source of failure. Textual descriptions of control functions ...