ba_example_003.aadl.out 5.17 KB