The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology. Distributed as well as telecommunication systems consist of components which are distributed across networks and have to cope with concurrency, autonomy, synchronization, and communication issues. The development of ...