Caires, Luis and Torres Vieira, Hugo Spatial logic model checker user’s guide : version 1.15. Technical Report #04/2009 Departamento de Informática - Universidade nova de Lisboa (Unpublished)