Döschner, C.2022-03-022022-03-0220003-929757-30-3https://publica.fraunhofer.de/handle/publica/136830Verteilte Automatisierung - Modelle und Methoden für Entwurf, Verifikation, Engineering und Instrumentierung