A branching search approach to safety system design optimisation · Study