Refining fault trees using aviation definitions for consequence severity | IEEE Journals & Magazine | IEEE Xplore