Tycho System test / org.eclipse.gemoc.studio.tests.system.mwb.userstory.DebugOfficialExampleK3FSM_Test.test03_TwoStates_Model_run_to_end