1. Koren JM, Gaertner J. CAFTA: a fault tree analysis tool designed for PSA. In: Proc. of Probabilistic Safety Assessment and Risk Management: PSA '87, Zurich, Switzerland, vol. 2, 1987:588–592.
2. Reliability modeling using SHARPE;Sahner;IEEE Trans Reliability,1987
3. Ciardo G, Muppala J., Trivedi K. SPNP: Stochastic Petri Net Package. In: Proc. 3rd Int. Workshop on Petri Nets and Performance Models, Kyoto, Japan, Dec. 1989:142–151.
4. The hybrid automated reliability predictor;Smotherman;AIAA Journal of Guidance, Control and Dynamics,1986
5. Butler R. The SURE Reliability Analysis Program, AIAA Guidance, Navigation, and Control Conference, Williamsburg, VA, August 1986.