How to Make the Citation of this Document using the INPE Standard (BibINPE Format)
SANTIAGO JÚNIOR, V. A.; CRISTIÁ, M.; VIJAYKUMAR, N. L. Model-based test case generation using statecharts and z: a comparison and a combined approach. São José dos Campos: INPE, 2010. 70 p. IBI: <8JMKD3MGP7W/373F9JP>. (sid.inpe.br/mtc-m19@80/2010/02.26.14.05-RPQ). Available from: <http://urlib.net/rep/8JMKD3MGP7W/373F9JP>.
How to Make the In-Text Citation (by author/year)
... as proposed by Santiago Júnior, Cristiá and Vijaykumar (2010).
... may be found in the literature (SANTIAGO JÚNIOR; CRISTIÁ; VIJAYKUMAR, 2010).