Efficient computation of state space over approximation of preemptive real time systems. - Abdelli Abdelkrim; Dahbia Yahiatene (AICCSA, 2008)