@PHDTHESIS{KallelPhD2011,
  title = {{Specifying and Monitoring Non-functional Properties}},
  author = {Slim Kallel},
  school = {Darmstadt University of Technology},
  year = {2011},
  month = {July},
}