testgroup TimeTrigger for statechart TimeTrigger{
	
	
	test TestName{
//		enter 

		assert true
	// Doesn't work so far... different behavior in java and Interpreter, no impl in C

//		assert active(TimeTrigger.main_region.A)
//
//		cycle
//		wait 1030ms
//		cycle
//		assert active(TimeTrigger.main_region.B)
//		wait 1030ms
//		cycle
//		assert active(TimeTrigger.main_region.A)
		
	
	}	
}