N. Khakpour, E. Merelli, M. Sirjani, L. Tesei. A Formal Approch to Multi-level Adaptive Systems: Modelling ad Analysis - Lecture Notes
M.Wooldrige, An Introduction to Multiagent Systems,John Wiley & Sons, 2009
L. Aceto, A.Ingosfdottier, K. Larsen Reactive Systems: Modelling, Specification and Verification (Cambridge University Press, 2007
A. Zomorodiam, Topology for computing, Cambridge Univerisity Press, 2005