Compositional model-driven design of embedded code for energy-efficient buildings | IEEE Conference Publication | IEEE Xplore