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