Beneson, ZinaidaFreiling, Felix C.Holz, ThorstenKesdogan, DoganDraque Penso, LuciaKarl, WolfgangBecker, JürgenGroßpietsch, Karl-ErwinHochberger, ChristianMaehle, Erik2019-10-302019-10-3020063-88579-175-7https://dl.gi.de/handle/20.500.12116/29437enSafety, liveness, and information flow: dependability revisitedText/Conference Paper1617-5468