Αποστολή με SMS: Design and verification of distributed interacting processes /