Laura Carnevali, Johnny Giuntini, Enrico Vicario. A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters. In Samson Lasaulce, Dieter Fiems, Peter G. Harrison, Luc Vandendorpe, editors, 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, VALUETOOLS '11, Paris, France, May 16-20, 2011. pages 111-120, ICST/ACM, 2011. [doi]
Abstract is missing.