1. Ågotnes, T., Goranko, V., & Jamroga, W. (2008). Strategic commitment and release in logics for multi-agent systems (Extended abstract). Technical Report IfI-08-01, Clausthal University of Technology, Clausthal-Zellerfeld.
2. Artikis A., Pitt J. V. (2009) Specifying open agent systems: A survey. In: Artikis A., Picard G., Vercouter L. (Eds.) ESAW, LNCS. Springer, Heidelberg, pp 29–45
3. Baldoni M., Baroglio C., Marengo E. (2010) Behavior oriented commitment-based protocols. In: Coelho H., Studer R., Wooldridge M. (Eds.) ECAI. IOS Press, Amsterdam, pp 137–142
4. Bentahar J., Meyer J.-J. Ch., Wan W. (2009) Model checking communicative agent-based systems. Knowledge-Based Systems 22(3): 142–159
5. Bentahar, J., Meyer, J.-J. Ch., & Wan, W. (2010). Model checking agent communication. In M. Dastani, K. V. Hindriks, & J.-J. Ch. Meyer (Eds.), Specification and verification of multi-agent systems (1st edn., Chap. 3, pp. 67–102). Heidelberg: Springer.