" UNE M~THODE DE DERIVATION DE MODELES DE PROCESSEURS EMBARQUES D~DICS A UNE APPLICATIONPOMPES PAR TRANSITIONS MULTIPLES "