" EXTRACTION ERROR MODELLING AND AUTOMATEDEBUGGING IN HIGH PERFORMANCE CUSTOM DESIGNS.POMPES PAR TRANSITIONS MULTIPLES "