test.aadl.out 11.6 KB