@misc{indiciaecd80385d7fb2, title = {Verification of Component Fault Trees Using Error Effect Simulations}, author = {Sebastian Reiter and Marc Zeller and Kai Hoefig and Alexander Viehl and Oliver Bringmann and Wolfgang Rosenstiel}, year = {2021}, doi = {10.1007/978-3-319-64119-5\_14}, url = {https://arxiv.org/abs/2106.03368}, note = {Source identifier: 2106.03368} }