Αποστολή με SMS: Empirical Software Engineering and Verification