1. Lions, J.-L., et al.: Ariane 5 flight 501 failure (1996)
2. Arthur, G., Stephenson, D.R., Mulville, F.H., Bauer, G.A.: Mars climate orbiter mishap investigation board phase i report, 44 p. NASA, Washington, DC (1999)
3. Tai, A., Chau, S.N., Alkalaj, L., Hecht, H.: On-board preventive maintenance: analysis of effectiveness and optimal duty period. In: Proceedings of Third International Workshop on Object-Oriented Real-Time Dependable Systems, pp. 40–47 (February 1997)
4. Tai, A., Alkalai, L., Chau, S.N.: On-board preventive maintenance for long-life deep-space missions: a model-based analysis. In: Proceedings of IEEE International Computer Performance and Dependability Symposium, IPDS 1998, pp. 196–205 (September 1998)
5. Chatterjee, S., Fawaz, M., Najm, F.N.: Redundancy-aware electromigration checking for mesh power grids. In: 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), pp. 540–547. IEEE (2013)