K. Rajalakshrni, Y. Jeppu, and K. Karunakar, “Ensuring Software Quality-Experiences of Testing Tejas Airdata Software”, DSJ, vol. 56, no. 1, pp. 13-19, Jan. 2006.