Facilitating R&M in spaceflight systems with MBSE | IEEE Conference Publication | IEEE Xplore