Solving Boolean polynomial systems by parallelizing characteristic set method for cyber-physical systems.