Stefano Caselli Francesco Monica Monica Reggiani YARA: A Software Framework Enhancing Service Robot Dependability. 1970-1976 2005 conf/icra/2005 ICRA db/conf/icra/icra2005.html#CaselliMR05