Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
SILVA, F. E. C.; SANTIAGO JÚNIOR, V. A. Testes de software via model checking para sistemas espaciais críticos. São José dos Campos: INPE, 2017. 42 p. Bolsa PIBIC/INPE/CNPq. IBI: <8JMKD3MGP3W34R/42L26CL>. Disponível em: <http://urlib.net/ibi/8JMKD3MGP3W34R/42L26CL>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Silva e Santiago Júnior (2017).
... pode ser encontrada na literatura (SILVA; SANTIAGO JÚNIOR, 2017).