Uses of Interface
net.automatalib.ts.modal.ModalTransitionSystem