@mastersthesis{mastersthesisa0a14702,
title   = {Validação de especificações de sistemas reativos: definição e análise de critérios de teste},
author = {Souza, Simone do Rocio Senger de and Maldonado, José Carlos},
year = {2000},
school = {Universidade de São Paulo}
}