M. O. Möller, H. Ruess, and M. Sorea, “Predicate Abstraction for Dense Real-Time Systems”, BRICS, vol. 8, no. 44, Nov. 2001.