Computing system failure frequencies and reliability importance measures using OBDD | IEEE Journals & Magazine | IEEE Xplore