
testgroup NamedInterfaceAccess for statechart NamedInterfaceAccess{
	test SafeOpenSuccess { 
		enter
		
		cycle
		raise User.numberPressed : 3
		cycle
		raise User.numberPressed : 7
		cycle
		raise User.numberPressed : 5
		cycle
		assert Safe.open
	} 
}  
	 