example_023.aadl.out 185 Bytes