@book{356436,
	author = {Nicolescu G. and Pieter J.},
	title = {Model-Based Design for Embedded Systems},
	publisher = {CRC Press},
	year = {2023}
}