Möller, M. O., H. Ruess, og M. Sorea. “Predicate Abstraction for Dense Real-Time Systems”. BRICS Report Series, bd. 8, nr. 44, november 2001, doi:10.7146/brics.v8i44.21704.