← A Validation Fault Model for Timing …