Walter Sonnenberg. Problemanalyse und -spezifikation mit formalen Modellen am Beispiel eines Betriebsleitsystems für den öffenlichen Nahverkehr (BON). In Hans-Dieter Ehrich, editor, GI - 14. Jahrestagung, Braunschweig, 2.-4. Oktober 1984, Proceedings. Volume 88 of Informatik-Fachberichte, pages 407-431, Springer, 1984.
Abstract is missing.