Algorithms for Modeling a Class of Single Timing Faults in Communication Protocols | IEEE Journals & Magazine | IEEE Xplore