Methodology for quantitative assessment of fault tolerance of the multi-state safety-critical systems with functional redundancy | IEEE Conference Publication | IEEE Xplore