Αποστολή με SMS: Formal Techniques for Computer Systems and Business Processes