Kallel, Slim : Specifying and Monitoring Non-functional Properties. TU Darmstadt [Ph.D. Thesis], (2011)