processors.aadl 947 Bytes