A Design Flow for Building Automation and Control Systems.

Yang Yang, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Qi Zhu

Browse the full RTSS paper archive.