Need automatic RA notification to ATC
Further to one of the controllers reiterating that pilots deviating from a clearance in conformance with a TCAS RA should notify ATC so that ATC doesn't issue conflicting instructions: there has been discussion of automatic RA notification to ATC from TCAS.
Certainly if the controller had known that TCAS had taken over, he would have shut up and started filling out the airprox forms.
My preference is for automatic notification of TCAS RAs to ATC since the aircrews are in a suddenly high workload situation and don't really have time to discuss their clearance.