Essayez avec :

procédure aadl2