@unpublished{eprints2291,
            type = {Technical Report},
     institution = {Departamento de Inform{\'a}tica},
           month = {March},
       publisher = {Departamento de Inform{\'a}tica - Universidade nova de Lisboa},
          author = {Hugo  Torres Vieira and Luis Caires and Rubens Viegas},
           title = {The spatial logic model checker user's manual: version 1.0},
            year = {2005},
             url = {http://eprints.imtlucca.it/2291/}
}