Functional Validation of Fault-Tolerant Asynchronous Algorithms. - Jan Hlavicka; Stanislav Racek; Pavel Smrha (EUROMICRO, 1996)