Multi-thread graph: a system model for real-time embedded software synthesis | IEEE Conference Publication | IEEE Xplore