@TechReport{di-fcul-tr-99-8,
  author       = "Ant\'{o}nio Casimiro and Paulo Ver\'{\i}ssimo",
  title        = "Timing Failure Detection with a Timely Computing Base",
  institution  = "Department of Computer Science, University of Lisbon",
  year         = 1999,
  abstractURL  = "http://www.di.fc.ul.pt/~casim/papers/rtdi99-8.html",
  url          = "http://www.di.fc.ul.pt/~casim/papers/rtdi99-8/rtdi99-8.ps.gz",
  type         = "DI/FCUL TR",
  number       = "99--8",
  month        = nov,
  keywords     = ""
}