Contract-Based Coordination of Hardware Components for the Development of Embedded Software