This page contains an applet that should appear as a separate window.
Thermostat model showing heating a cooling cycles.
In this model, the refinements of the modes in the
state machine are the same model, and the parameters
of the model are changed when state transitions are
taken.