G. Kovács, Z. Pap, and G. Csopaki, “Automatic test selection based on CEFSM specifications”, Acta Cybern, vol. 15, no. 4, pp. 583-599, Jan. 2002.