A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters. - Laura Carnevali; Johnny Giuntini; Enrico Vicario (VALUETOOLS, 2011)