Αποστολή με SMS: Verification of Business Rules Programs