toy_example.aadl 6.06 KB