Aspect oriented software fault tolerance and analytically redundant design framework | IEEE Conference Publication | IEEE Xplore