Lluch-Lafuente, Alberto Towards Model Checking Spatial Properties with SPIN. In: Model Checking Software (SPIN'07). Lecture Notes in Computer Science, 4595 . Springer, pp. 223-242. ISBN 978-3-540-73369-0 (2007)