Message Sequence Charts:

Analyzing Message Sequence Charts (invited paper) [paper][slides]
A. Muscholl

Design decisions on data and guards in MSC2000 [paper] [slides]

A.Engels

Decomposition of Message Sequence Charts [paper][slides]
L.Helouet, P.Le Maigat

Connecting Message Sequence Charts [paper][slides]
F.A. Meijs

HyperMSC- a graphical representation of TTCN [paper][slides]
E.Rudolph, I. Schieferdecker, J. Grabowski

Approximation of (H)MSC semantics by Event Automata [paper] [slides]
N.Mansurov, D. Vasura

On the relationship between Use-case maps and Message Sequence Charts [paper][slides]
F. Bordeleau, D. Cameron
 

Real time extensions for SDL:

SDL and hard real time systems: new design and analysis techniques [paper][slides]
J.M. Alvarez, M.Diaz, L.M. Llopis, E. Pimentel, J.M. Troya

SDL for real time: What is missing ? [paper][slides]
M.Bozga, S.Graf, A.Kerbrat, L. Mounier, I. Ober, D. Vincent
 

UML:

Adaptation of SOMT to the development of systems based upon a standard [paper][slides]
J.P Albaladejo Marquez, J. Poncela Gonzalez, J.T Entrembasaguas Munoz

Real time system modeling with UML: current status and some prospects (invited paper) [paper] [slides]
F. Terrier (CEA/LETI)

Test:

Probabilities in the TorX test derivation algorithm [paper][slides]
L.M.G. Feijs, N. Goga, S. Mauw

Test generation based on control and data dependencies within multi-process SDL specifications [paper]
O. Henniger, H. Ural

Validation and test case generation for MSCs using a propositional SAT solver [paper]
K. Meinke

Test Generation with Autolink and Testcomposer [paper] [slides]
M. Schmitt, J. Grabowski, M. Ebner

Testbed development for communication systems using formal languages [paper]
J. Poncela Gonzalez, R. Sanchez Mejias, P Tapia Moreno, R. Ferrer Alvarez, J.T Entrembasaguas Munoz
 

Semantics:

An executable formal semantics for SDL-20000 [paper][slides]
A. Prinz, R. Eschbach, R. Gotzhein

A semantics for MSCs based on Petri net components [paper]
S. Heymer
 

Case Studies:

Experience from using MSC, UML, and SDL in the development of the FAME communication manager [paper]
K. Stoelen, P.Mohn

Development of SDL based software for an embedded system - practical experience [paper][slides]
S.Blasius, S. Karg, J. Maier, G. Kohler

Scheduling in SDL simulation. Application to Future Air Navigation Systems [paper][example][slides]
F. Boutet, G. Rieux, Y. Lejeune, E. Choveau

SDL:

Enriching SDL specifications with MSCs [paper][slides]

F. Khendek, D. Vincent

SDL based autocode generation: a multi beneficial approach [paper][Slides]
B.Rao
 
 

Tutorials:

SDL 2000 Tutorial [slides]
J. Fischer, E. Holz

Pannel Convergence of SDL/MSC and UML:

 
Ericsson Position Statement [slides]
Oystein Haugen

TelelogicPosition Statement [slides]
Philippe Leblanc

SDL Forum [slides]
Yair Lahav

CEA [slides]
François Terrier

SDL, MSC and UML at ITU [slides]
Amardeo Sarma
 

Survey on SDL 2000:

Questionnaire
Results