G. V. Reddy and A. Chandrasekhar, “Tools and Techniques for testing of Flight Critical Software”, Def. Sc. J., vol. 49, no. 4, pp. 317–322, Jan. 2013.