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