Tools for HVAC control system design and performance evaluation | IEEE Conference Publication | IEEE Xplore