@book{94028,
	author = {Kaźmierski, Thomas J.,},
	title = {Languages, design methods, and tools for electronic system design :},
	publisher = {Springer,},
	year = {2020},
	series = {Lecture Notes in Electrical Engineering ;},
	address = {Cham :},
	note = {Includes index},
	url = {https://link-springer-com.libraryumpsa.idm.oclc.org/book/10.1007/978-3-030-31585-6}
}