1. Aiello, M., Pratt-Hartmann, I., van Benthem, J. (eds.): Handbook of Spatial Logics. Springer, Netherlands (2007)
2. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Lecture Notes in Computer Science;L Caires,2012
4. Ciancia, V.: topochecker - a topological model checker (2015).
http://fmt.isti.cnr.it/topochecker
-
https://github.com/vincenzoml/topochecker
5. Ciancia, V., Gilmore, S., Grilletti, G., Latella, D., Loreti, M., Massink, M.: Spatio-temporal model-checking of vehicular movement in transport systems. submitted for journal publication, available from the authors