Package net.automatalib.serialization.dot