Study the benefit of the application of different validation methods in experiments with cooperating STCs SMG 3, SPS 3 & BTC. Introduction of formal modelling and validation methods to new draft specifications. The result will be used to propose a validation methodology for ETSI functional specifications based on SDL. Part 2 - QSIG-CTM experiment