Reachability probabilities in Markovian Timed Automata | IEEE Conference Publication | IEEE Xplore