Appendix B: Mars Polar Lander (MPL): Loss and Lessons | part of Automated Defect Prevention: Best Practices in Software Management | Wiley-IEEE Press books | IEEE Xplore