H. Veith:
"Model Checking of Fault-Tolerant Distributed Algorithms";
Talk: Summer School 2014: Verification Technology, Systems & Applications, Luxembourg (invited); 2014-10-27 - 2014-10-31.
http://resources.mpi-inf.mpg.de/departments/rg1/conferences/vtsa14/slides/veith.zip