@book{600406,
	title = {Analytic methods in systems and software testing /}
}