Package ptolemy.domains.ct.demo.Thermostat