Sudeikat, Jan, Braubach, Lars, Pokahr, Alexander, Lamersdorf, Winfried: Validation of BDI Agents. In: R. Bordini, M. Dastani, J. Dix, A. El Fallah Seghrouchni (Hrsg.): The 4th International Workshop on Programming Multiagent Systems (PROMAS-2006). Springer, 2006, S. 185-200