Text this: Validation of communications systems with SDL :