Validation of Communications Systems with Sdl by Laurent Doldi