transition table: euml