G. Reddy and A. Chandrasekhar, “Tools and Techniques for testing of Flight Critical Software”, DSJ, vol. 49, no. 4, pp. 317-322, Jan. 2013.