1. Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing 4, 67–95 (2002)
2. Horling, B., Lesser, V.: A survey of multi-agent organizational paradigms. The Knowledge Engineering Review 19(4), 281–316 (2004)
3. Fuxman, A., Liu, L., Pistore, M., Roveri, M., Mylopoulos, J.: Specifying and analyzing early requirements in tropos. Requirements Engineering Journal 9(2), 132–150 (2004)
4. McDermott, D.: A temporal logic for reasoning about processes and plans. Cognitive Science 6, 101–155 (1982)
5. Bosse, T., Jonker, C., van der Meij, L., Sharpanskykh, A., Treur, J.: Specification and verification of dynamics in agent models. International Journal of Cooperative Information Systems 18(1), 167–193 (2009)