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