devices.aadl 12.4 KB