Αποστολή με SMS: Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7