@book{825765,
	author = {Lee, Edward A. and Seshia, Sanjit A.},
	title = {Introduction to embedded systems :},
	publisher = {MIT Press,},
	year = {c2017.},
	address = {Cambridge :},
	edition = {2nd ed.}
}