"Timing-reasoning-based delay fault diagnosis."

Kai Yang, Kwang-Ting Cheng (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics