Αποστολή με SMS: Applying Formal Methods: Testing, Performance, and M/E-Commerce