TITLE     : Automated verification of fault tolerance mechanisms
AUTHOR(S) : Bernardeschi C, Fantechi A, Gnesi S, Santone A
TYPE      : Conference article
YEAR      : 1998
CODE      : 408955

*** DO NOT EDIT THIS FILE ***