model.aadl.out 678 Bytes