Towards deriving test sequences by model checking - Bonifácio, Adilson Luiz; Moura, Arnaldo Vieira; Simão, Adenilso da Silva; Maldonado, José Carlos (Eletronic Notes in Theoretical Computer Science, 2008)