Title: Dependable Systems and Networks (Dsn 2000)