Evolution of fault-tolerant computing - Avizienis, A., ed; Kopetz, H., ed.; Laprie, J. C., ed. (New York Springer-Verlag, 1987)