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