Jähnichen, S.Loeckx, J.Wirsing, M.2022-03-092022-03-091997https://publica.fraunhofer.de/handle/publica/327789en004006Logic for system engineeringconference proceeding