SMS versenden: Hardware-software co-synthesis of distributed embedded systems /