testgroup TimedTransitions for statechart TimedTransitions{
		
	test Timer01{
		enter 
		assert active (TimedTransitions.main_region.Start)
		
		wait 2030ms
		cycle
		
		assert active (TimedTransitions.main_region.End)				
	}		
	
}