Implementation and Application of Automata : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers - Jacques Farré, Igor Litovsky, Sylvain Schmitz ((Lecture Notes in Computer Science))