Low Runtime-Overhead Software Synthesis for Communicating Concurrent Processes | IEEE Conference Publication | IEEE Xplore