D. J. Kinniment, Albert Koelmans: Modelling and Verification of Timing Conditions with the Boyer Moore Prover. TPCD 1992: 111-127