Filip Thoen J. Van Der Steen Gjalt G. de Jong Gert Goossens Hugo De Man Multi-thread graph: a system model for real-time embedded software synthesis. 476-481 1997 ED&TC http://dx.doi.org/10.1109/EDTC.1997.582403 conf/date/1997 db/conf/date/edtc1997.html#ThoenSJGM97