Abdelkrim, Abdelli. 2012. “Improving the Construction of the DBM over Approximation of the State Spce of Real-Time Preemptive Systems”. Acta Cybernetica 20 (3), 347-84. https://doi.org/10.14232/actacyb.20.3.2012.1.