Αποστολή με SMS: Automated Technology for Verification and Analysis