Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
ROMERO, A. G.; AMBROSIO, A. M.; SOUZA, M. L. O. Finite state-machine verification applied to hybrid systems. In: CONGRESSO SAE BRASIL, 21., 2012, São Paulo. Proceedings... 2012. ISBN 2012-36-0429. Disponível em: <http://urlib.net/ibi/J8LNKAN8RW/3D536H8>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Romero, Ambrosio e Souza (2012).
... pode ser encontrada na literatura (ROMERO; AMBROSIO; SOUZA, 2012).