toy_example.aadl 5.47 KB