Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
VILLANI, E.; PONTES, R. P.; CORACINI, G. K.; AMBRÓSIO, A. M. Integrating model checking and model based testing for industrial software development. Computers in Industry, v. 104, p. 88-102, Jan. 2019. DOI: <10.1016/j.compind.2018.08.003>. Disponível em: <http://doi.org/10.1016/j.compind.2018.08.003>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Villani et al. (2019).
... pode ser encontrada na literatura (VILLANI et al., 2019).