@article{articleb625b0d8,
title   = {Towards deriving test sequences by model checking},
author = {Bonifácio, Adilson Luiz and Moura, Arnaldo Vieira and Simão, Adenilso da Silva and Maldonado, José Carlos},
year = {2008},
journal   = {Eletronic Notes in Theoretical Computer Science}
}