Αποστολή με SMS: Enabling Reasoning and Verification Support for Intelligent Agent Systems, using Formal Methods