An interactive protocol synthesis algorithm using a global state transition graph | IEEE Journals & Magazine | IEEE Xplore