K. Mani Chandy: Representing Faulty Distributed Systems as Nondeterministic Sequential Systems. SRDS 1987: 171-173