Design by extrapolation: an evaluation of fault-tolerant avionics | Synapse