@book{17155,
	author = {Borger E Ed.},
	title = {Architecture Design And Validation Methods.},
	publisher = {Springer-Verlag Berlin Heidelberg.},
	year = {2000},
	address = {Berlin},
	note = {35}
}