Model Synthesis for Communication Traces of System Designs | IEEE Conference Publication | IEEE Xplore