Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
SOUZA, É. F. Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos. 2010. 133 p. IBI: <8JMKD3MGP7W/36T9LLB>. (sid.inpe.br/mtc-m19@80/2010/02.06.20.39-TDI). Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais (INPE), São José dos Campos, 2010. Disponível em: <http://urlib.net/ibi/8JMKD3MGP7W/36T9LLB>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Souza (2010).
... pode ser encontrada na literatura (SOUZA, 2010).