A unified signal transition graph model for asynchronous control circuit synthesis | IEEE Conference Publication | IEEE Xplore