A. Abdelkrim, “Improving the construction of the DBM over approximation of the state spce of real-time preemptive systems”, Acta Cybern, vol. 20, no. 3, pp. 347-384, Jan. 2012.