Safety Verification Technology of CPS Based on Theorem Proving | IEEE Conference Publication | IEEE Xplore