M. O. Möller, H. Ruess, og M. Sorea, “Predicate Abstraction for Dense Real-Time Systems”, BRICS, bd. 8, nr. 44, nov. 2001.