Tibor Bartos Norbert Fristacky Verifying Timing Consistency in Formal Specifications. 8-15 1996 13 IEEE Design & Test of Computers 1 http://doi.ieeecomputersociety.org/10.1109/54.485778 db/journals/dt/dt13.html#BartosF96