Dynamic fault-tree models for fault-tolerant computer systems | IEEE Journals & Magazine | IEEE Xplore