Jackson System Development mit Speedbuilder - Eine toolgestützte Methode zur Spezifikation und Implementierung verteilte Systeme.