REDDY, G.; CHANDRASEKHAR, A. Tools and Techniques for testing of Flight Critical Software. Defence Science Journal, v. 49, n. 4, p. 317-322, 1 jan. 2013.