Best Practices for Advanced Modeling of Safety Mechanisms in an FTA. - Philipp Kilian; Armin Köhler; Patrick Van Bergen; Markus Wörz; Martin Schneider; Thorsten Groh; Tihomir Tomanic; Martin Dazer (IEEE Access, 2023)