Formal Verification of Timing Rules in Design Specifications.

Tibor Bartos, Norbert Fristacky

Browse the full FPL paper archive.