Torres Vieira, Hugo  and Caires, Luis  The spatial logic model checker user's manual: version 0.9.  Technical Report  #03/2004     Departamento de Informática - Universidade nova de Lisboa       (Unpublished)