rma-bench.aadl 2.15 KB