Automatic synthesis of gate-level speed-independent control circuits from signal transition graphs | IEEE Conference Publication | IEEE Xplore