Combining EDF Scheduling with occam using the Toc Programming Language. - Korsgaard, Martin; Hendseth, Sverre (2008)