D. Prusa, and F. Mraz. Research Report CTU--CMP--2012--08, Center for Machine Perception, K13133 FEE Czech Technical University, Prague, Czech Republic (March 2012), (2012)
V. Lonati, and M. Pradella. Implementation and Application of Automata, volume 6807 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2011)