devices.aadl 3.72 KB