Example: Modeling Zone Thermal Controllers