Specification and Verification of Multi-agent Systems | lit.salon