A Model-Driven Approach for Consistent Building Automation Control Logic Design and Deployment | IEEE Conference Publication | IEEE Xplore