Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings - Carayol, Arnaud. (Springer International Publishing : Imprint: Springer, 2017)