HVAC System Modeling and Fault Simulation Research Based on Modelica | IEEE Conference Publication | IEEE Xplore