Reducing the cost of redundant execution in safety-critical systems using relaxed dedication | IEEE Conference Publication | IEEE Xplore