Modeling and Synthesis of the Network in Distributed Embedded Systems