Αποστολή με SMS: Satisfying Safety Goals by Probabilistic Risk Assessment