I'm looking for pushbutton switches that can be "ganged" into sets of exclusive switches, so that when you push one switch in the set any of the others that are latched are forcibly released, like the preset buttons on an old-style car radio, but I can't seem to find anybody that makes these kinds of switches, even though I've seen them used in plenty of devices (well, maybe not plenty of modern devices, but I've found very similar modern multipole latching pushbutton switches, e.g. from E-Switch, but no mention of how to force the release of a latched switch).
I figure that I just don't know what the right search terms are.
Does anybody know what these switches are called, or what search terms I should be using?