Product Models for Smart Home Thermostat Controller