Reddy, G., & Chandrasekhar, A. (2013). Tools and Techniques for testing of Flight Critical Software. Defence Science Journal, 49(4), 317-322. https://doi.org/10.14429/dsj.49.3844