Koldehofer, B. (1999). Animation and Analysis of Distributed Algorithms. Master Thesis, Universität des Saarlandes, Saarbrücken.