J. Widder: "Switching On - How Processes Initialize for Consistent Broadcast."; Supervisor: U. Schmid; 183, 2002.