Jan Ladiges, Aljosha Köcher, Peer Clement, Henry Bloch, Thomas Holm, Paul Altmann, Alexander Fay, Leon Urbas. Entwurf, Modellierung und Verifikation von Serviceabhängigkeiten in Prozessmodulen. Automatisierungstechnik, 66(5):418-437, 2018. [doi]
Abstract is missing.