publicações Validação de especificações de sistemas reativos: Definição e análise de critérios de teste. Documento
