Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
ERAS, E. R.; SANTOS, L. B. R.; SANTIAGO JUNIOR, V. A.; VIJAYKUMAR, N. L. Towards a wide acceptance of formal methods to the design of safety critical software: An approach based on UML and model checking. In: INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, 15. (ICCSA), , Banff, Canada. Proceedings... 2015. Disponível em: <http://urlib.net/ibi/8JMKD3MGP3W34P/3KTH66L>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Eras et al. (2015).
... pode ser encontrada na literatura (ERAS et al., 2015).