Space systems modeling using the Architecture Analysis & Design Language (AADL) | IEEE Conference Publication | IEEE Xplore
  翻译: