Work

Formal method for scheduling, routing and communication protocol