@unpublished{eprints2310,
       publisher = {Departamento de Inform{\'a}tica - Universidade nova de Lisboa},
            type = {Technical Report},
     institution = {Universidade nova de Lisboa},
          author = {Luis Caires and Hugo  Torres Vieira},
           title = {Spatial logic model checker user?s guide : version 1.15},
            year = {2009},
             url = {http://eprints.imtlucca.it/2310/}
}