Reddy, G. V., and A. Chandrasekhar. “Tools and Techniques for Testing of Flight Critical Software”. Defence Science Journal, vol. 49, no. 4, Jan. 2013, pp. 317-22, doi:10.14429/dsj.49.3844.