Chattopadhyay, J. Reliability Analysis in Design and Development of Checkout Software for Aerospace System. Def. Sc. J. 2013, 47, 19-26.