devices.aadl 13.1 KB