@inproceedings{DomisHoefigTrapp2010, author = {Dominik Domis and Kai H{\"o}fig and Mario Trapp}, title = {A consistency check algorithm for component-based refinements of fault trees}, booktitle = {2010 IEEE 21st International Symposium on Software Reliability Engineering (ISSRE), November 2010, San Jose, CA, USA.}, pages = {171 -- 180}, year = {2010}, }