Modeling and simulation of an HVAC system for energy analysis and management of commercial buildings | IEEE Conference Publication | IEEE Xplore