devices.aadl 7.41 KB