@book{2060,
	author = {Bergamaschi, Reinaldo A. and SpringerLink (Online service)},
	title = {Design Automation for Embedded Systems},
	publisher = {Springer US :},
	address = {New York :},
	url = {https://doi.org/10.1007/10617.1572-8080}
}