Formal method for scheduling, routing and communication protocol | IEEE Conference Publication | IEEE Xplore