Abdelkrim, A. (2012). Improving the construction of the DBM over approximation of the state spce of real-time preemptive systems. Acta Cybernetica, 20(3), 347-384. https://doi.org/10.14232/actacyb.20.3.2012.1