Probabilistically Analysable Real-Time Systems