Build a state diagram modelling the required behavior of a thermostat in a house temperature control system. The model should capture the dynamics of state variables controlled by the thermostat based on the following simplified problem statement. A thermostat shall regulate a house heating and air conditioning (AC) system. It must switch the heating sub- system on when the heating mode is on and the measured home temperature is below some user-specified temperature, and off when the heating mode is off or the measured home temperature is above that desired temperature. Symmetrically, the thermostat must switch the AC sub-system on when the cooling mode is on and the measured home temperature is above some user- specified temperature, and off when the cooling mode is off or the measured home temperature is below that desired temperature. The thermostat shall also control a user interface that will consistently display: (a) the current mode (heating or cooling), (b) whether the corresponding sub-system is running or not, and (c) the current measured temperature and the desired temperature entered by the user on a control panel. Due to the inherent concurrency in this system, your state diagram should show nested parallel and sequential states.