producer_consumer.aadl 7.42 KB