Giacomo Bucci Andrea Fedeli Luigi Sassoli Enrico Vicario Timed State Space Analysis of Real-Time Preemptive Systems. 97-111 2004 30 IEEE Trans. Software Eng. 2 http://csdl.computer.org/comp/trans/ts/2004/02/e0097abs.htm db/journals/tse/tse30.html#BucciFSV04