A State-based Probabilistic Risk Assessment Framework for Multi-system Space Missions | Synapse