Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7 - Γαροφαλάκης, Μίνως (Computer Technology Institute Computer Science and Engineering Department, Patras University Ινστιτούτο Τεχνολογίας Υπολογιστών, 1993)