Best Practices for Advanced Modeling of Safety Mechanisms in an FTA | IEEE Journals & Magazine | IEEE Xplore