Synthesis of Asynchronous Circuits from Simulink Specifications door Maurizio Tranchero