SDL is used to create protocol emulators for testers. This is enabled by 3G SDL library project.
Nokia NET has own version of the SDL that is is used quite extensively in some products.
On the NMP side used extensively for the design of many protocol software sub-systems (embedded and workstation based simulation). These models are used as the basis for automatic code generation using various SDL->C code generators.