devices.aadl 3.66 KB