Improving international relations conferences through virtual interactions: Embodying a multi-agent Z specification framework