Title: Erhöhung der Nebenläufigkeit in automatische entworfenen digitalen Systemen