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