Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
SANTOS, L. B. R.; SANTIAGO JÚNIOR, V. A.; VIJAYKUMAR, N. L. Transformation of UML behavioral diagrams to support software model checking. Electronic Proceedings in Theoretical Computer Science, v. 147, p. 133-142, 2014. DOI: <10.4204/EPTCS.147.10>. Disponível em: <http://doi.org/10.4204/EPTCS.147.10>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Santos, Santiago Júnior e Vijaykumar (2014).
... pode ser encontrada na literatura (SANTOS; SANTIAGO JÚNIOR; VIJAYKUMAR, 2014).