" Design and Modeling of Mixed Synchronous-Asynchronous and Hardware-Software SystemsPOMPES PAR TRANSITIONS MULTIPLES "