Optimal reliability of systems subject to imperfect fault-coverage | Synapse