Tool Chain for the Design of Distributed Systems