validation.aadl 4.58 KB