The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems | IEEE Conference Publication | IEEE Xplore