Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
PASSA, G. D.; SANTIAGO JÚNIOR, V. A. Aircraft Navigation Systems Safety Assessment via Probabilistic Model Checking. In: GERVASI, O.; MURGANTE, B.; MISRA, S.; GARAU, C.; BLECIC, I.; APDUHAN, B. O.; ROCHA, A. M. A. C.; TARANTINO, E.; TORRE, C. M. (Ed.). Computational Science and its Applications (ICCSA) 2021. Springer, 2021. v. 12952, p. 465-480. ISBN 978-303086972-4. DOI: <10.1007/978-3-030-86973-1_33>. Disponível em: <http://doi.org/10.1007/978-3-030-86973-1_33>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Passa e Santiago Júnior (2021).
... pode ser encontrada na literatura (PASSA; SANTIAGO JÚNIOR, 2021).