1. STATEMATE: a working environment for the development of complex reactive systems;Harel;IEEE Transactions on Software Engineering,1990
2. V.P. Sigorsky, Mathematical Apparatus for Engineer, Kiev, Technika, 1975 (in Russian).
3. The MathWorks - Simulink (http://www.math-works.de/products/simulink/)
4. Dymola: Dynamic Modeling Laboratory, Dynasim AB, Sweden (http://www.dynasim.se/)
5. SIMulation models for TESTing control systems for heating, ventilation, and air conditioning application, CEC DGXII C-O, contract No. SMT4-CT, 1998