REDDY, G. V.; CHANDRASEKHAR, A. Tools and Techniques for testing of Flight Critical Software. Defence Science Journal, [S. l.], v. 49, n. 4, p. 317–322, 2013. DOI: 10.14429/dsj.49.3844. Disponível em: https://publications.drdo.gov.in/ojs/index.php/dsj/article/view/3844. Acesso em: 17 jun. 2025.