HabSim: Modeling Disruptions, Propagation, Detection and Repair in Deep Space Habitats | Synapse