Text this: Generalised Markovian analysis of timed transition systems