1. The AVALON-Project—A VALidatiON environment for SDLMSC descriptions;Algayres,1993
2. Verifying message sequence charts with the SDT validator;Ek,1993
3. Event-Oriented Textual Syntax, TD44 (Question 910), ITU-T Study Group 10 Meeting in Geneva;Ek,1994
4. The standardization of message sequence charts;Grabowski,1993
5. A method for the generation of test cases based on SDL and MSCs;Grabowski,1993