@phdthesis { silvestre2017, author = "Silvestre, Daniel", title = "Fault-tolerant Stochastic Distributed Systems", year = "2017" }