Entwurf, Modellierung und Verifikation von Serviceabhängigkeiten in Prozessmodulen. - Jan Ladiges; Aljosha Köcher; Peer Clement; Henry Bloch; Thomas Holm; Paul Altmann; Alexander Fay; Leon Urbas (Autom., 2018)