Αποστολή με SMS: Specification and analysis of concurrent systems