Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
SANTIAGO JÚNIOR, V. A.; SILVA, F. E. C. From statecharts into model checking: A hierarchy-based translation and specification patterns properties to generate test cases. In: BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING, 2. (SAST), , Fortaleza, CE. Proceedings... 2017. ISBN 978-145035302-1. Disponível em: <http://urlib.net/ibi/8JMKD3MGP3W34P/3PUKS65>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Santiago Júnior e Silva (2017).
... pode ser encontrada na literatura (SANTIAGO JÚNIOR; SILVA, 2017).