@book{84752,
	author = {GAJSKI AND ETC and 1},
	title = {EMBEDDED SYSTEM DESIGN: MODELING SYNTHESIS AND VERIFICATION},
	publisher = {SPRINGER},
	year = {2013},
	edition = {1}
}