Αποστολή με SMS: Dependability Modelling under Uncertainty