Αποστολή με SMS: Runtime Verification