Reddy, G., 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.