Aggregated Energy Flexibility Provision Using Residential Heat Pumps | IEEE Conference Publication | IEEE Xplore