Next-State Equations of Asynchronous Sequential Machines | IEEE Journals & Magazine | IEEE Xplore