Foundations of Dependable Systems Group