Uses of Interface
net.automatalib.modelchecker.ltsmin.LTSminDFA