@inproceedings{MoehrleBizikZelleretal.2017, author = {Felix M{\"o}hrle and Kai Bizik and Marc Zeller and Kai H{\"o}fig and Martin Rothfelder and Peter Liggesmeyer}, title = {A Formal Approach for Automating Compositional Safety Analysis Using Flow Type Annotations In Component Fault Trees}, booktitle = {Proceedings of the 27th European Safety and Reliability Conference (ESREL): Safety and Reliability - Theory and Applications., Portorož, Slovenia: Taylor \& Francis (CRC Press).}, year = {2017}, }