Draeger, JoachimGrandt, M.Schmerwitz, S.2017-11-152017-11-152014978-3-932182-81-2https://dl.gi.de/handle/20.500.12116/5168An die funktionale Sicherheit soziotechnischer Systeme werden hohe Anforderungen gestellt. Um trotz der zunehmenden Komplexität dieser Systeme verlässliche Aussagen über bestehende Risiken machen zu können, ist man immer stärker auf den Einsatz formaler MAnthropotechnikText/Conference Paper0178-6326