__ Current Time: 0.000000 __________________________________________ __ Current Time: 1.000000 __________________________________________ EXIT STATE in model <MainApp> State: /state1 ENTER STATE in model <MainApp> State: /end