The Spacecraft Early Analysis Model: An MBSE Framework for Early Analysis of Spacecraft Behavior | IEEE Journals & Magazine | IEEE Xplore