Möller, M. Oliver, Harald Ruess, and Maria Sorea. “Predicate Abstraction for Dense Real-Time Systems”. BRICS Report Series 8, no. 44 (November 4, 2001). Accessed April 23, 2024. https://tidsskrift.dk/brics/article/view/21704.