example_018.aadl.out 171 Bytes