@book{38846,
	author = {RADOJEVIC AND SALCIC and NO},
	title = {EMBEDDED SYSTEMS DESIGN BASED ON FORMAL MODELS OF COMPUTATION},
	publisher = {SPRINGER},
	year = {2011},
	edition = {1}
}