Steffen Becker Wilhelm Hasselbring Alexandra Paul Marko Boskovic Heiko Koziolek Jan Ploski Abhishek Dhama Henrik Lipskoch Matthias Rohr Daniel Winteler Simon Giesecke Roland Meyer Mani Swaminathan Jens Happe Margarete Muhle Timo Warns Trustworthy software systems: a discussion of basic concepts and terminology. 1-18 2006 31 ACM SIGSOFT Software Engineering Notes 6 http://doi.acm.org/10.1145/1218776.1218781 db/journals/sigsoft/sigsoft31.html#BeckerHPBKPDLRWGMSHMW06