"An Introduction to Computing System Dependability."

John C. Knight (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics