Innovative Approaches to Verifying Demand Response of Water Heater Load Control | Synapse