Reddy, G., and Ahalya Chandrasekhar. 2013. “Tools and Techniques for Testing of Flight Critical Software”. Defence Science Journal 49 (4), 317-22. https://doi.org/10.14429/dsj.49.3844.