Generic Timing Fault Tolerance using a Timely Computing Base - A. Casimiro (2002)