Autographe: A Graphical Version of Automate. - Are Uppman; Jean-Marc Champarnaud (Workshop on Implementing Automata, 1998)