Dependable Computing - EDCC-1 heftetEngelsk, 1994