Title: Anwendungen der Netztheorie zur formalen Systemspezifikation