Tools for support of automata-based programming
scientific article; zbMATH DE number 5285485