Reddy, G. V. and Chandrasekhar, A. (2013) “Tools and Techniques for testing of Flight Critical Software”, Defence Science Journal, 49(4), pp. 317–322. doi: 10.14429/dsj.49.3844.