Αποστολή με SMS: Critical Systems: Formal Methods and Automated Verification