example_009.aadl.out 240 Bytes