Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach