This was my thesis project, done at the IT University of Copenhagen.