dummy.aadl.out 1.68 KB