ERCIM Working Group Dependable Software-Intensive Systems/Libraries