1. Pisacane, V.L.: Fundamentals of Space Systems. Oxford University Press, New York (2005)
2. Wertz, J.R., Larson, W.J.: Space Mission Analysis and Design. Microcosm Press, Hawthorne (1999). 976 p.
3. Mathur, A.P.: Foundations of Software Testing. Dorling Kindersley (India), Pearson Education in South Asia, Delhi (2008). 689 p
4. Delamaro, M.E., Maldonado, J.C., Jino, M.: Introdução ao teste de Software. Elsevier, Brasil (2007)
5. Santiago Júnior, V.A.: SOLIMVA: a methodology for generating model-based test cases from natural language requirements and detecting incompleteness in software specifications. Ph.D. thesis, Instituto Nacional de Pesquisas Espaciais (INPE) (2011)