First-Order Timed Runtime Verification Using BDDs.

Klaus Havelund, Doron Peled

Browse the full ATVA paper archive.