Designing self-timed devices using the finite automaton model | IEEE Journals & Magazine | IEEE Xplore