Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario. Timed State Space Analysis of Real-Time Preemptive Systems. IEEE Trans. Software Eng., 30(2):97-111, 2004. [doi]
@article{BucciFSV04,
title = {Timed State Space Analysis of Real-Time Preemptive Systems},
author = {Giacomo Bucci and Andrea Fedeli and Luigi Sassoli and Enrico Vicario},
year = {2004},
url = {http://csdl.computer.org/comp/trans/ts/2004/02/e0097abs.htm},
tags = {analysis},
researchr = {https://researchr.org/publication/BucciFSV04},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {30},
number = {2},
pages = {97-111},
}