1.00 MainApp: exit /state1 1.00 MainApp: transition (/state1 -> /state3) 1.00 MainApp: enter /state3