@phdthesis{Spil15,
	author = {Josef Spillner},
	title = {Untersuchungen zur Risikominimierungstechnik Stealth Computing für verteilte datenverarbeitende Software-Anwendungen mit nutzerkontrollierbar zugesicherten Eigenschaften},
	school = {TU Dresden (Habilitationsschrift)},
	year = {2015},
	type = {phdthesis}
}