Designing Self-Timed Devices Using the Finite Automaton Model. - Victor Varshavsky; Vyacheslav Marakhovsky; Vadim V. Smolensky (IEEE Des. Test Comput., 1995)