Αποστολή με SMS: Rigorous Methods for Software Construction and Analysis