@book{40206,
	author = {Serpanos, Dimitrios},
	title = {Security and embedded systems /},
	publisher = {IOS Press,},
	year = {2006},
	address = {Amsterdam :},
	note = {Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005}
}