Fault-tolerant distributed computing systems seminar no. 3 DCS 3, November 13 - 15, 1984 - Kopetz, Hermann; Kim, K. H. (1984)