Ulle Endriss Temporal Logics for Representing Agent Communication Protocols. 15-29 2006 AC http://dx.doi.org/10.1007/978-3-540-68143-4_2 conf/acom/2006 db/conf/acom/ac2006.html#Endriss06