Folien ppt - Dependable Systems and Software