devices.aadl 13.3 KB