A research of architecture-based reliability with fault propagation for software-intensive systems | IEEE Conference Publication | IEEE Xplore