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>. ( Available from: <>.

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).