producer_consumer.aadl.out 14.3 KB