Design and Analysis of Distributed Embedded Systems