Tamanho atual: 90%
BONIFACIO, A ; MOURA, A ; SIMAO, A ; MALDONADO, J . Towards Deriving Test Sequences by Model Checking. Electronic Notes in Theoretical Computer Science, v. 195, p. 21-40, 2008.