αρχείο Email: Enabling Reasoning and Verification Support for Intelligent Agent Systems, using Formal Methods