Möller, M. Oliver, Harald Ruess, og Maria Sorea. “Predicate Abstraction for Dense Real-Time Systems”. BRICS Report Series 8, no. 44 (november 4, 2001). Set december 6, 2025. https://tidsskrift.dk/brics/article/view/21704.