Dias Neto, Arilo Cláudio, and Guilherme Horta Travassos. " Strategy to Support the Selection of Model-Based Test Approaches for Software Projects." Proceedings of the 7th Brazilian Symposium on Software Quality, Florianópolis, 2008. SBC, 2008, pp.107-122.