Reducing Faulty Executions of Distributed Systems. - Robert Colin Butler Scott (2016)