producer_consumer_ba.aadl 3.92 KB