Design Methods and Applications for Distributed Embedded Systems