Validação de especificações de sistemas reativos: Definição e análise de critérios de teste. - Souza, Simone do Rocio Senger de (2000)