Specification and Verification of Multi-Agent Systems | DealShopping Deutschland