@article{articlefb1c109e,
title   = {Teste e validação de sistemas reativos},
author = {Sant'ana, Daniel Alves and Maldonado, José Carlos and Fabbri, Sandra Camargo Pinto Ferraz},
year = {2000},
journal   = {Revista de Iniciação Científica}
}