Reactor-Based Modeling of Safe Interrupt-Driven Communication for Distributed Embedded Systems