devices.aadl 14.6 KB