Semantic alignment in monitoring and verification of energy savings achieved by demand response flexibility programs | IEEE Conference Publication | IEEE Xplore