devices.aadl 9.45 KB