Schrittweise Verfeinerung von Konzepten - Konstruktion Verteilter Systeme am Beispiel OlDiLa und Mach.