A. John, I. Konnov, U. Schmid, H. Veith, J. Widder: "Who is afraid of Model Checking Distributed Algorithms?"; Talk: PUMA/RISE Seminar, Goldegg; 2012-09-24 - 2012-09-28.