New Automaton and TransitionGraph abstract models, parametrized by Java
Generics!