dummy.aadl.out 2.19 KB