Kovács, G., Pap, Z., & Csopaki, G. (2002). Automatic test selection based on CEFSM specifications. Acta Cybernetica, 15(4), 583-599. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3598