Task graph extraction for embedded system synthesis | IEEE Conference Publication | IEEE Xplore