Validation of Communications Systems with SDL

SDL, the Specification and Description Language standardised by the International Telecommunication Union (ITU-T), is used to specify and develop complex systems such as GSM, GPRS, UMTS, IEEE 802.11 or Hiperlan. This guide helps in validating, by simulation, a telecom system modelled in SDL.