@PhDThesis{Zschaler07,
	author = {Steffen Zschaler},
	title  = {A Semantic Framework for Non-functional Specifications of Component-Based Systems},
	month  = apr,
	year   = 2007,
	school = {Technische Universit{\"a}t Dresden, Dresden, Germany},
	type   = {Dissertation},
}