@book{8180,
	author = {Börger, E.},
	title = {Architecture design and validation methods /},
	publisher = {Springer,},
	year = {c2000.},
	address = {Berlin ;}
}