testclass NamedInterfaceAccess for statechart NamedInterfaceAccess{
	@Test
	operation SafeOpenSuccess(){ 
		enter
		
		proceed 1 cycle
		raise User.numberPressed : 3
		proceed 1 cycle
		raise User.numberPressed : 7
		proceed 1 cycle
		raise User.numberPressed : 5
		proceed 1 cycle
		assert Safe.open
	} 
}