Software Reliability Analysis of NASA Space Flight Software: A Practical Experience. - Harish Sukhwani; Javier Alonso 001; Kishor S. Trivedi; Issac Mcginnis (QRS, 2016)