Automated and energy-efficient co-synthesis for distributed embedded systems | IEEE Conference Publication | IEEE Xplore