Transitioning model based systems engineering to onboard spacecraft electronics | IEEE Conference Publication | IEEE Xplore