" Interfacing Abstract State Machines with Mult iway Decision GraphsPOMPES PAR TRANSITIONS MULTIPLES "