Analytical redundancy and the design of robust failure detection systems | Synapse