Αποστολή με SMS: Specification and Verification of Multi-agent Systems