Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24,