Time distance-based computation of the DBM over-approximation of preemptive real-time systems - Abdelli, Abdelkrim (Journal of logical and algebraic methods in programming, 2024)