Möller, M. Oliver, et al. “Predicate Abstraction for Dense Real-Time Systems”. BRICS Report Series, vol. 8, no. 44, Nov. 2001, doi:10.7146/brics.v8i44.21704.