ConcurrencyView_Properties.aadl 444 Bytes