arm.aadl 1.73 KB