Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings - Drewes, Frank (Springer International Publishing : Imprint: Springer, 2015)