@book{27622,
	author = {Mendoza Cervantes, Francisco},
	title = {A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems},
	url = {https://www.ksp.kit.edu/9783731501695}
}