Kovács, G. et al. 2002. Automatic test selection based on CEFSM specifications. Acta Cybernetica. 15, 4 (Jan. 2002), 583–599.