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
"Das diesem Bericht zugrunde liegende Forschungsvorhaben wurde mit Mitteln des Bundesministeriums für Umwelt, Naturschutz und nukleare Sicherheit (BMU) unter dem Kennzeichen 4717R01361 durchgeführt."