Formal Verification of Timing Rules in Design Specifications. - Tibor Bartos; Norbert Fristacky (FPL, 1994)

Verifying Timing Consistency in Formal Specifications. - Tibor Bartos; Norbert Fristacky (IEEE Des. Test Comput., 1996)