A Commented Example: HVAC Temperature Control