Reliability and Vulnerability Assessment as Decision Support during Purchase and Design of Complex, Technical Systems. - Remi Eriksen; Terje Andersen; Claus Feyling; Hans-Joachim Petersen (SAFECOMP, 1996)

Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations. - Bjørnar Luteberget; Christian Johansen; Claus Feyling; Martin Steffen (FM, 2016)