Finished behavioural of airco_fsm