Sangiovanni-Vincentelli, Alberto L.: Algorithms for Synthesis and Testing of Asynchronous Circuits