Dependable implementation of the beam interlock mechanism in CERN power converter controllers