software.aadl 5.18 KB