Implementation and Application of Automata - Markus Holzer, Martin Kutrib (Springer International Publishing, 2014)