example_012.aadl.out 501 Bytes