Energy management in a public building: A case study co-designing the building energy management system | IEEE Conference Publication | IEEE Xplore