producer_consumer.aadl 2.6 KB