HabSim: Architecture for modelling disruptions, propagation, detection and repair in deep space habitats. - Luca Vaccino; Alana Lund; Shirley J. Dyke; Mohsen Azimi; Ethan Vallerga (CoRR, 2025)