Möller, M. O.; Ruess, H.; Sorea, M. Predicate Abstraction for Dense Real-Time Systems. BRICS 2001, 8.