A State-based Probabilistic Risk Assessment Framework for Multi-system Space Missions | IEEE Conference Publication | IEEE Xplore