Specification and validation of the common signalling transport protocol in SDL