Using model based systems engineering structures for onboard spacecraft electronics | IEEE Conference Publication | IEEE Xplore