@book{3452,
	author = {GAJSKI AND ETC},
	title = {SPECIFICATION AND DESIGN OF EMBEDDED SYSTEMS},
	publisher = {PRENTICE HALL},
	year = {1994},
	edition = {1}
}