toy_example.aadl 5.12 KB