Co-design of control algorithm and embedded platform for building HVAC systems | IEEE Conference Publication | IEEE Xplore