How to Make the Citation of this Document using the INPE Standard (BibINPE Format)
MARTINS, E.; GUIMARÃES, D. C.; AMBROSIO, A. M. STER: a strategy for testing reactive systems. In: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEM AND NETWORK; IEEE CONFERENCE PROCEEDINGS., 2004, Florence, Italy. Proceedings... 2004. p. 2. Papel. (INPE-11623-PRE/7004). Available from: <http://urlib.net/ibi/sid.inpe.br/marciana/2004/12.03.10.21>.
How to Make the In-Text Citation (by author/year)
... as proposed by Martins, Guimarães and Ambrosio (2004).
... may be found in the literature (MARTINS; GUIMARÃES; AMBROSIO, 2004).