Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems