-K. Echtle/D. Hammer/D. Powell (Eds.): Dependable Computing - EDCC-1. Proceedings 1994, Springer-Verlag 1994