@book{66779,
	author = {Bertolotti, Ivan Cibrario and Manduchi, Gabriele},
	title = {Real-time embedded systems :},
	publisher = {CRC Press,},
	year = {c2012},
	series = {Embedded systems},
	address = {Boca Raton, FL :}
}