Kovács, Gábor, Zoltán Pap, and Gyula Csopaki. 2002. “Automatic Test Selection Based on CEFSM Specifications”. Acta Cybernetica 15 (4), 583-99. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3598.