European Dependable Computing Conference (2nd 1996 Taormina, Italy)