How to Make the Citation of this Document using the INPE Standard (BibINPE Format)
SANTOS, L. B. R.; ERAS, E. R.; SANTIAGO JR., V. A.; VIJAYKUMAR, N. L. A formal verification tool for UML behavioral diagrams. Lecture Notes in Computer Science, v. 8579 LNCS, n. PART 1, p. 696-711, 2014. DOI: <10.1007/978-3-319-09144-0_48>. Available from: <http://doi.org/10.1007/978-3-319-09144-0_48>.
How to Make the In-Text Citation (by author/year)
... as proposed by Santos et al. (2014).
... may be found in the literature (SANTOS et al., 2014).