Modeling methods for the design and evaluation of fault-tolerant systems (military systems) | IEEE Conference Publication | IEEE Xplore