ERCIM Working Group Dependable Software-Intensive Systems