export_B.aadl 1.48 KB