@book{28617,
	author = {-},
	title = {Electronic Design Automation},
	publisher = {Elsevier},
	year = {2009},
	address = {Boston}
}