Books by European Dependable Computing Conference (1st 1994 Berlin, Germany)