Independent Certification for CPS