Daniela Chudá Dusan Rodina Automata simulator. 394-399 2010 CompSysTech https://doi.org/10.1145/1839379.1839449 conf/compsystech/2010 db/conf/compsystech/compsystech2010.html#ChudaR10