Automatisierung der frühen Entwurfsphasen verteilter Systeme by Tommy Baumann