Optimal HVAC scheduling using phase-change material as a demand response resource | IEEE Conference Publication | IEEE Xplore