Defense-in-Depth and Diverse Qualification of Safety-Critical Software. - Horst Miedl; Jang-Soo Lee; Arndt Lindner; Ernst Hoffman; Josef Märtz; Young-Jun Lee; Jong-Gyun Choi; Jangyeol Kim; Kyoung-Ho Cha; Se Woo Cheon; Cheol-Kwon Lee; Gee-Yong Park; et al. (SAFECOMP, 2007)

Qualifizierung integrierter Werkzeugumgebungen für die Erstellung sicherheitsrelevanter Software in Kernkraftwerken. - Horst Miedl; Josef Märtz (Sicherheit, 2008)

Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems. - John Eidar Simensen; Christian Gerst; Bjørn Axel Gran; Josef Märtz; Horst Miedl (SAFECOMP, 2009)