@INPROCEEDINGS{Liggesmeyer2001b, author = {Liggesmeyer, P. and Mäckel, O.}, title = {Automatic Reliability Analysis of Electronic Designs using Fault Trees}, booktitle = {13. Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen}, year = {2001} }