Measures and LMIs for Validation of an Aircraft with MRAC and Uncertain Actuator Dynamics