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