Run-time model checking of interaction and deontic models for multi-agent systems