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