E.: Timed State Space Analysis of Real Time Preemptive Systems (2004)

by G Bucci, A Fedeli, L Sassoli, Vicario
Venue:IEEE Trans. SW Eng