Synthesis of Asynchronous Circuits from Simulink Specifications by Maurizio Tranchero