TITLE     : Achieving Fault Tolerance by a Formally Validated Interaction                Policy
AUTHOR(S) : Alessandro Fantechi, Stefania Gnesi, Laura Semini
TYPE      : Contribution to book
YEAR      : 2006
CODE      : 179756

*** DO NOT EDIT THIS FILE ***