Dependable Computing: Design and Assessment - Iyer (IEEE, 2024)