Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
PEÑA, L. G.; OLIVEIRA E SOUZA, M. L. Uma discussão sob o processo de verificação e validação de software crítico e seguro; definição de conceitos, limitações, normas, objetivos e técnicas aplicadas. In: WORKSHOP EM ENGENHARIA E TECNOLOGIA ESPACIAIS, 4. (WETE)., 2013, São José dos Campos. Anais... São José dos Campos: INPE, 2013. On-line. IBI: <8JMKD3MGP5W34M/3F4BF68>. Disponível em: <http://urlib.net/ibi/8JMKD3MGP5W34M/3F4BF68>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Peña e Oliveira e Souza (2013).
... pode ser encontrada na literatura (PEÑA; OLIVEIRA E SOUZA, 2013).