Reducing the Cost of Redundant Execution in Safety-Critical Systems using Relaxed Dedication Read more about Reducing the Cost of Redundant Execution in Safety-Critical Systems using Relaxed Dedication