test.aadl.out 28.6 KB