test.aadl.out 8.4 KB