@conference {FMDB-NESTER09,
	title = {Safety and Security in Networked Robotics Systems via Logical Consensus},
	booktitle = {International Workshop on Networked embedded and control system technologies: European and Russian R\&D cooperation (NESTER{\textquoteright}09)},
	year = {2009},
	month = {July, 2 - 5},
	address = {Milan, Italy},
	keywords = {Embedded Control, Robotics},
	author = {S. Martini and A. Fagiolini and G. Dini and A. Bicchi}
}
