Arilo Claudio Dias Neto, Guilherme Horta Travassos: Model-based testing approaches selection for software projects. Inf. Softw. Technol. 51(11): 1487-1504 (2009)