Formal Verification of CAN Bus in Cyber Physical System | IEEE Conference Publication | IEEE Xplore