Synthesis from Waveform Transition Graphs | IEEE Conference Publication | IEEE Xplore