Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
AMBROSIO, A. M. Systematic test case generation for concurrent FSMs. In: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS., 2003, (campo ausente ou vazio: 'conferencelocation') Proceedings... 2003. p. 46-48. (INPE-10237-PRE/5755). Disponível em: <http://urlib.net/ibi/6qtX3pFwXQZsFDuKxG/BG4VS>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Ambrosio (2003).
... pode ser encontrada na literatura (AMBROSIO, 2003).