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