A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems.

Mark L. McKelvin Jr. Gabriel Eirea Claudio Pinello Sri Kanajan Alberto L. Sangiovanni-Vincentelli A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems. 237-246 2005 conf/emsoft/2005 EMSOFT http://doi.acm.org/10.1145/1086228.1086272 db/conf/emsoft/emsoft2005.html#McKelvinEPKS05