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