state transitions cluster__p p cluster__p_burner_select burner_select cluster__p_heat heat cluster__p_heat_Pushed Pushed enter /increase() __initial __initial->_p _p_burner_select_initial _p_burner_select_BurnerSelect BurnerSelect _p_burner_select_initial->_p_burner_select_BurnerSelect _p_burner_select_BurnerSelect->_p_burner_select_BurnerSelect select_next/selected = (selected + 1) % 4    _p_heat_initial _p_heat_Released Released _p_heat_initial->_p_heat_Released _p_heat_Released->_p_heat_Pushed pressed_increase    _p_heat_Pushed->_p_heat_Released released_increase    _p_heat_Pushed_initial _p_heat_Pushed_Waiting Waiting _p_heat_Pushed_initial->_p_heat_Pushed_Waiting _p_heat_Pushed_Increasing Increasing _p_heat_Pushed_Increasing->_p_heat_Pushed_Increasing after(200 ms)/increase()    _p_heat_Pushed_Waiting->_p_heat_Pushed_Increasing after(1 s)