The CPS problem covered in this paper is a basic one in software engineering, and paper establishes some fundamental complexity results about the problem. Even though it is solid work, the authors may find that only a fraction of the NeurIPS community is interested in the problem.