Erforschung eines Ansatzes zur Systemvalidierung der sicherheitstechnischen Funktion von softwarebasierten Kransteuerungen / GRS, Gesellschaft für Anlagen- und Reaktorsicherheit (GRS) gGmbH ; Moritz Leberecht, Ewgenij Piljugin, Christian Müller, Felix Gärner, Dagmar Sommer