Implementation and Application of Automata - Drewes (Springer International Publishing, 2015)