Reliability and safety of systems employing binary sensors