Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms. - Annu Gmeiner; Igor Konnov 001; Ulrich Schmid 001; Helmut Veith; Josef Widder (SFM, 2014)