Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
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). Disponível em: <http://urlib.net/ibi/sid.inpe.br/marciana/2004/12.03.10.21>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Martins, Guimarães e Ambrosio (2004).
... pode ser encontrada na literatura (MARTINS; GUIMARÃES; AMBROSIO, 2004).