How to Make the Citation of this Document using the INPE Standard (BibINPE Format)
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. Available from: <http://urlib.net/ibi/8JMKD3MGP3W34P/3KTH66L>.
How to Make the In-Text Citation (by author/year)
... as proposed by Eras et al. (2015).
... may be found in the literature (ERAS et al., 2015).