TITLE     : Formal validation of fault-tolerance mechanisms inside GUARDS
AUTHOR(S) : Bernardeschi C, Fantechi A, Gnesi S
TYPE      : Journal article
YEAR      : 2001
CODE      : 43936

*** DO NOT EDIT THIS FILE ***