Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder: Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms. SFM 2014: 122-171