asn1_configuration.aadl 1.37 KB