Design of reliable systems using static and dynamic fault trees | IEEE Journals & Magazine | IEEE Xplore