Foundations of Dependable Computing: Paradigms For Dependable Applications (The Springer International Series In Engineering And Computer Science) ... and Computer Science, 284, Band 284)