CertiCAN: A Tool for the Coq Certification of CAN Analysis Results | IEEE Conference Publication | IEEE Xplore