Verifying architectural variabilities in software fault tolerance techniques | IEEE Conference Publication | IEEE Xplore