Multi-agent systems specification and certification: a situation and state calculus approach
scientific article; zbMATH DE number 2085796