An exact evaluation of the probability of undetected error for certain shortened binary CRC codes | IEEE Conference Publication | IEEE Xplore