@TechReport{Zschaler08TR,
	author      = {Steffen Zschaler},
	title       = {Example Specifications of Non-functional Properties of a Simple Counter Application},
	year        = {2008},
	institution = {Computing Department, Lancaster University},
	number      = {COMP-006-2008},
}