Uses of Class
net.automatalib.ts.modal.CompactMTS