Abdelkrim, Abdelli. “Improving the Construction of the DBM over Approximation of the State Spce of Real-Time Preemptive Systems”. Acta Cybernetica 20, no. 3 (January 1, 2012): 347–384. Accessed January 26, 2026. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3817.