Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014. Proceedings - Holzer, Markus. (Springer International Publishing,)