J. Chattopadhyay, “Reliability Analysis in Design and Development of Checkout Software for Aerospace System”, Def. Sc. J., vol. 47, no. 1, pp. 19–26, Jan. 2013.