Would it be possible to have the TCAS generate the radio calls? Or at least comunicate to the controller in some way what is actually happening.
Seems to me that it can be quite tricky to get the call off especially as there are, for obvious reasons, often other calls being made at the time. Even a short duration chime or tone might do the trick.