Giacomo Bucci Luigi Sassoli Enrico Vicario ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. 70-79 2004 conf/qest/2004 QEST http://csdl.computer.org/comp/proceedings/qest/2004/2185/00/21850070abs.htm db/conf/qest/qest2004.html#BucciSV04