Ingenieurmethoden und -werkzeuge für cyber-physische Automatisierungssysteme | Synapse