Demand-aware price policy synthesis and verification services for Smart Grids | IEEE Conference Publication | IEEE Xplore