Title: Ein Beschreibungsverfahren zum Entwurf digitaler Steuerungen für nebenläufige Vorgänge