An upper bound on the separating redundancy of linear block codes | IEEE Conference Publication | IEEE Xplore