Developments in Reliable Computing door Tibor Csendes