Generalised Markovian analysis of timed transition systems - Knottenbelt, William John (Department of Computer Science, 2015)
Bibliography: leaves 149-157.