@MASTERSTHESIS\{IMM2013-06644,
    author       = "N. Thykier",
    title        = "Reusable framework for analysing System Models",
    year         = "2013",
    school       = "Technical University of Denmark, Department of Applied Mathematics and Computer Science / {DTU} Co",
    address      = "Matematiktorvet, Building 303B, {DK-}2800 Kgs. Lyngby, Denmark, compute@compute.dtu.dk",
    type         = "",
    note         = "{DTU} supervisor: Christian Probst, cwpr@dtu.dk, {DTU} Compute",
    url          = "http://www.compute.dtu.dk/English.aspx",
    abstract     = "In this day and age, systems and infrastructures are becoming more complex. Analysing these manually for weaknesses against insiders have become a daunting task. Accordingly, there has been several attempts to describe these systems in a way to make them machine analysable.
However, the work so far seems to have been limited to testing the feasibility and usability of these models. There has been no visible progress in creating an extensible framework to facilitate future work in this area.
In this project, I will attempt create a framework around these models to assist future work on these models. Previous work in this area tells us that there is interest for both static analysis and dynamic analysis."
}