a formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems
ml mckelvin jr , g eirea , c pinello , s kanajan , al
proceedings of the 5th acm international conference on & hellip ; ,