Varshavsky, V.; Marakhovsky, V. Self-Timed Finite State Machine: From Example to Synthesis. ICS 2005, 33-37.