Quality Assurance of Test Specifications for Reactive Systems

@Misc{Zeiß10,
	author          = {Benjamin Zei{\ss}},
	title           = {{Quality Assurance of Test Specifications for Reactive Systems}},
	organization    = {Siemens Corporate Technology},
	address         = {Munich, Germany},
	month           = jul,
	year            = 2010,
}