Communicating Embedded Systems