Package net.automatalib.modelchecking