J. F. Silva Ouriques, E. G. Cartaxo, and P. D. Lima Machado, “Revealing influence of model structure and test case profile on the prioritization of test cases in the context of model-based testing”, JSERD, vol. 3, pp. 1:1 – 1:28, Jan. 2015.