Αποστολή με SMS: Rigorous Software Development