Real-Time Flexibility Quantification of a Building HVAC System for Peak Demand Reduction | IEEE Journals & Magazine | IEEE Xplore