Formal Method for Scheduling, Routing and Communication Protocol. - Lenore M. R. Mullin; Scott Thibault; Daria R. Dooling; Erik A. Sandberg (HPDC, 1993)