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 May 9, 2025. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3817.