Developments in Reliable Computing by Tibor Csendes