Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
PONTES, R. P.; VÉRAS, P. C.; AMBROSIO, A. M.; VILLANI, E. Contributions of model checking and CoFI methodology to the development of space embedded software. Empirical Software Engineering, v. 19, n. 1, p. 39-68, Feb. 2014. DOI: <10.1007/s10664-012-9215-y>. Disponível em: <http://doi.org/10.1007/s10664-012-9215-y>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Pontes et al. (2014).
... pode ser encontrada na literatura (PONTES et al., 2014).