Books by European Dependable Computing Conference (4th 2002 Toulouse, France)