"Trustworthy software systems: a discussion of basic concepts and terminology."

Steffen Becker et al. (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics