@book{226464,
	author = {Sandeep K. Shukla, Jean-Pierre Talpin},
	title = {Synthesis of Embedded Software},
	publisher = {Springer New York},
	year = {2010},
	address = {New York}
}