David B. Stewart Pradeep K. Khosla Mechanisms for Detecting and Handling Timing Errors. 87-93 1997 40 Commun. ACM 1 db/journals/cacm/cacm40.html#StewartK97