Reihe Schriftenreihe Forschungsergebnisse aus der KurzzeitdynamikUli Siebold × Identifikation und Analyse von sicherheitsbezogenen Komponenten in semi-formalen Modellen Uli SieboldFraunhofer VerlagSoftcover2013