Functional Validation for Large Telecom Systems