CPSBuDi: Multidisciplinary design of Cyber-Physical Systems for smart energy control in Buildings and Districts