How to Make the Citation of this Document using the INPE Standard (BibINPE Format)
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. Available from: <http://urlib.net/ibi/J8LNKAN8RW/3D536H8>.
How to Make the In-Text Citation (by author/year)
... as proposed by Romero, Ambrosio and Souza (2012).
... may be found in the literature (ROMERO; AMBROSIO; SOUZA, 2012).