Αποστολή με SMS: Formal Methods for Eternal Networked Software Systems