ba_example_001.aadl.out 3.8 KB