Timing Failure Detection with a Timely Computing Base - António Casimiro (1999)