Αποστολή με SMS: Formal Techniques for Safety-Critical Systems