I apologise in advance for not having read all relevant posts yet, but i meant to ask in the approach of a humble law student dealing with a moot court case identical to that of the ueberlingen collision only dated 2 years later, is there any ICAO or Eurocontrol document that clearly specifies that one should follow the TCAS-RA over the ATC instructions?