Validation Of Telecom Systems With Sdl by Laurent Doldi