Kovács, G., Pap, Z. and Csopaki, G. 2002. Automatic test selection based on CEFSM specifications. Acta Cybernetica. 15, 4 (Jan. 2002), 583-599.