Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings - Moreira, Nelma; Reis, Rogério (Springer Berlin Heidelberg : Imprint: Springer, 2012)