Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello. Modelling and Analysing Systems of Agents by Agent-aware Transition Systems. In Françoise Fogelman-Soulié, Domenico Perrotta, Jakub Piskorski, Ralf Steinberger, editors, Mining Massive Data Sets for Security - Advances in Data Mining, Search, Social Networks and Text Mining, and their Applications to Security, Proceedings of the NATO Advanced Study Institute on Mining Massive Data Sets for Security, Gazzada (Varese), Italy, 10-21 September 2007. Volume 19 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 103-112, IOS Press, 2007. [doi]