@MASTERSTHESIS\{IMM2005-03628,
    author       = "T. Frederiksen Smit",
    title        = "Verification of Sensor Network Models using UppAal",
    year         = "2005",
    school       = "Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}",
    address      = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby",
    type         = "",
    note         = "Supervised by Prof. Jan Madsen",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/3628-full.html",
    abstract     = "In this report research is done on using the UppAal framework with relation to analyzing energy consumption in sensor networks. A model of a sensor network is created, tested and verified. Then the possibilities of formal reachability analysis examined. This results in a scenario based worst-case analysis of both total energy consumption and energy consumption patterns. A framework composed of tools for sensor network model creation and automated analysis is also developed. The thesis is a part of the Hogthrob project, which goal is to develop sensor network technology adapted to the requirements of sow monitoring."
}