Multi-thread graph: a system model for real-time embedded software synthesis. - Filip Thoen; J. Van Der Steen; Gjalt G. de Jong; Gert Goossens; Hugo De Man (ED&TC, 1997)