Kaydı eposta ile gönder: Design and Verification of Multi-Agent Systems with the Use of Bigraphs