Martin Korsgaard Sverre Hendseth Combining EDF Scheduling with occam using the Toc Programming Language. 55-66 2008 CPA http://dx.doi.org/10.3233/978-1-58603-907-3-55 conf/wotug/2008 db/conf/wotug/cpa2008.html#KorsgaardH08