Temporal logics for representing agent communication protocols - Endriss, Ulle (Inst. for Logic, Language and Computation, 2005)