Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems.