Modeling and design of asynchronous circuits | IEEE Journals & Magazine | IEEE Xplore