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