1. Aiello, M., Pratt-Hartmann, I., van Benthem, J. (eds.): Handbook of Spatial Logics. Springer, Heidelberg (2007)
2. Anderson, S., Bredche, N., Eiben, A.E., Kampis, G., van Steen, M.: Adaptive Collective Systems: Herding Black Sheep. BookSprints (2013)
3. Aydin Gol, E., Bartocci, E., Belta, C.: A formal methods approach to pattern synthesis in reaction diffusion systems. In: Proceedings of the CDC (2014)
4. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
5. Lecture Notes in Computer Science;E Bartocci,2015