example_015.aadl.out 233 Bytes