Möller, M. O., Ruess, H., & Sorea, M. (2001). Predicate Abstraction for Dense Real-Time Systems. BRICS Report Series, 8(44). https://doi.org/10.7146/brics.v8i44.21704