test.aadl.out 29.6 KB