Algorithms for Synthesis and Testing of Asynchronous Circuits e-bokEngelsk, 2012