" ANALYSE, IMPLANTATION ET INTEGRATION D'UNE BIBLIOTHEQUE POUR LA SPECIFICATION DES SYSTEMES EMBARQUES DANS UNE METHODOLOGIE DE CODESIGNPOMPES PAR TRANSITIONS MULTIPLES "