===== Description =====

The system is a simple temperature controller.
The basic idea is to set the temperature in an office based on time and working hours.

The case has been originally taken from a textbook by
Michael Negnevitsky, //Artificial Intelligence. A Guide to Intelligent Systems//, 1st ed., Addison-Wesley, 2002.

The case has been the first HeKatE case to be modelled.
It has been described in several papers FIXME.