In: 1988: Wissenschaftliche Tagungen der TU Karl-Marx-Stadt, DDR, No. 12, pages 14-22. 1988. In German.
Abstract: Das Einsatzgebiet der Sprache SDL im Zuge der weltweiten Digitalisierung von Nachrichtenvermittlungssystemen hat sich insbesondere auf die Spezifikation von verteilten Kommunikationssoftware, in Gestalt von Diensten und Protokollen, ausgeweitet. Für die Analyse von SDL-Spezifikationen wird die Bereitstellung eines Werkzeugspektrums angestrebt, das in der Arbeit vorgestellt und diskutiert wird.