A Design Flow for Building Automation and Control Systems | IEEE Conference Publication | IEEE Xplore