Architecture-based software reliability with error propagation and recovery | IEEE Conference Publication | IEEE Xplore