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