@book{93783,
	author = {Goli, Mehran, and Drechsler, Rolf,},
	title = {Automated analysis of virtual prototypes at the electronic system level :},
	publisher = {Springer,},
	year = {2020},
	address = {Cham :},
	url = {https://link-springer-com.libraryumpsa.idm.oclc.org/book/10.1007/978-3-030-44282-8}
}