An approach to architecture-based fault tolerance evaluation with fault propagation | IEEE Conference Publication | IEEE Xplore