How to Make the Citation of this Document using the INPE Standard (BibINPE Format)
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>. Available from: <http://doi.org/10.1016/j.compind.2018.08.003>.
How to Make the In-Text Citation (by author/year)
... as proposed by Villani et al. (2019).
... may be found in the literature (VILLANI et al., 2019).