yakindu/test-plugins/org.yakindu.sct.test.models/tests/TimedTransitions.sctunit

testclass TimedTransitions for statechart TimedTransitions{
	@Test
	operation Timer01(){
		enter 
		assert active (TimedTransitions.main_region.Start)
		
		proceed 2030ms
		proceed 1 cycle
		
		assert active (TimedTransitions.main_region.End)				
	}		
	
}