net.automatalib.serialization
