Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic Joeri EngelfrietCatholijn M. JonkerJan Treur OriginalPaper Pages: 195 - 225