Timed and Probabilistic Systems