Silva Ouriques, J.F., Cartaxo, E.G. and Lima Machado, P.D. 2015. Revealing influence of model structure and test case profile on the prioritization of test cases in the context of model-based testing. Journal of Software Engineering Research and Development. 3, (Jan. 2015), 1:1 – 1:28.