example_009.aadl.out 216 Bytes