Aspects of Dependable Linux Systems - Kate Stewart, Philipp Ahmann