@book{58649,
	author = {Pieper, Pascal. and Drechsler, Rolf. and SpringerLink (Online service)},
	title = {Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes},
	publisher = {Springer Nature Switzerland :},
	year = {2024.},
	address = {Cham :},
	edition = {1st ed. 2024.},
	url = {https://doi.org/10.1007/978-3-031-51692-4}
}