Alessandro Fantechi Stefania Gnesi Laura Semini Achieving Fault Tolerance by a Formally Validated Interaction Policy. 133-152 2006 conf/rodin/2006 RODIN Book http://dx.doi.org/10.1007/11916246_7 db/conf/rodin/rodin2006.html#FantechiGS06