test.aadl.out 28.5 KB