1. Mandelli D, Smith C, and Rabiti C. Space propulsion system: A PSAM benchmark problem for safety analysis algorithms, as reformulated by D. Mandelli for the 12th international conference on probabilistic safety assessment and management, provided by D. Mandelli via personal communication; November 2013.
2. Knudsen J and Smith C. Space propulsion system phased-mission probability analysis using conventional PRA methods. In: Proceedings of the 8th international conference on probabilistic safety assessment and management, New Orleans, Louisiana, USA; May 14–18, 2006.
3. Xu H, Dugan J, Meshkat L. A dynamic fault tree model of a propulsion system. In: Proceedings of the 8th International conference on probabilistic safety assessment and management, New Orleans, Louisiana, USA; May 14–18, 2006.
4. Mandelli D, Aldemir T, and Zio E. An event tree/fault tree/embedded markov model approach for the PSAM-8 benchmark problem concerning a phased mission space propulsion system. In: Proceedings of the 8th international conference on probabilistic safety assessment and management, New Orleans, Louisiana, USA; May 14–18, 2006.
5. Oliva S, Yau M, Dixon S, Guarro S. Advanced PRA tool benchmark for space system risk using the dynamic flowgraph methodology. In: Proceedings of the 8th international conference on probabilistic safety assessment and management, New Orleans, Louisiana, USA; May 14–18, 2006.