ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation. - Arndt Lindner (SAFECOMP, 1998)

Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant. - Jang-Soo Lee; Arndt Lindner; Jong-Gyun Choi; Horst Miedl; Kee-Choon Kwon (SAFECOMP, 2006)

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)