Uses of Interface
net.automatalib.serialization.automaton.SimpleAutomatonSerializationProvider